Characteristic predicate VarDef::VarDef

VarDef()