public static AClassInvariantDefinition newAClassInvariantDefinition( ILexNameToken name, PExp expression) { AClassInvariantDefinition result = new AClassInvariantDefinition(); // Definition initialization initDefinition(result, Pass.DEFS, name.getLocation(), name, NameScope.GLOBAL); result.setExpression(expression); return result; }