+ "var z1 : Int = x1.increase() \n"
+ "val x2 : X = X.create() \n"
+ "var z2 : Int = x2.increase() \n"
+ "val z3 : Int = x2.increase() \n";
BytecodeValue res = runTest(s);
assertEquals(res.toString(), "()");
String[] names = { "X", "x1", "x2", "z1", "z2", "z3" };
BytecodeInt nine = new BytecodeInt(9);
BytecodeValue[] vals = { clasDef, clas, clas, nine, nine, new BytecodeInt(10) };
assertTrue(isInContext(names,vals));