Characteristic predicate PurelyLocalVariable::PurelyLocalVariable

PurelyLocalVariable()