Characteristic predicate VariableUpdate::VariableUpdate

VariableUpdate()