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));
}