Characteristic predicate Variable::SemanticStackVariable::SemanticStackVariable

SemanticStackVariable()