Characteristic predicate VariableAssign::VariableAssign

VariableAssign()