out("found AST Node" + ((ASTNode) o).getStartPosition());
}
}
out(invariant.toString());
out(invariant.getSpecification().toString());
ExpressionInOCL exp = (ExpressionInOCL) invariant.getSpecification();
out(helper.getEnvironment().getVariables().size()+"");
exp.getBodyExpression();
}