lifted_index constant

Variable const lifted_index

Implementation

static const Variable lifted_index = Variable._(22);