assertBlockStatement.addStatement(assertStatement);
assertBlockStatement.addStatement(new ExpressionStatement(new BinaryExpression(variableExpression, Token.newSymbol(Types.ASSIGN, -1, -1), ConstantExpression.TRUE)));
final Class powerAssertionErrorClass = loadPowerAssertionErrorClass();
if (powerAssertionErrorClass == null) throw new GroovyBugError("GContracts >= 1.1.2 needs Groovy 1.7 or above!");
VariableExpression newErrorVariableExpression = new VariableExpression("newError", assertionErrorClass);
newErrorVariableExpression.setAccessedVariable(newErrorVariableExpression);
ExpressionStatement expr = new ExpressionStatement(new DeclarationExpression(newErrorVariableExpression, Token.newSymbol(Types.ASSIGN, -1, -1),