AssertExp extends StandaloneExp { public AssertExp(BooleanExp exp) { this.exp = CodeStandaloneExp.fromNested("assert " + exp.getCode()); } AssertExp(BooleanExp exp); @Override String getCode();  }
@Test public void testAssertExp() { assertEquals("\nassert (true == true);", new AssertExp(new CompareExp(BooleanExp.TRUE).eq(BooleanExp.TRUE)).getCode()); }