private void GenerateAssert(Exp test) { gen.SideEffect( gen.Appl( new CodeMethodReferenceExpression( new CodeTypeReferenceExpression("Debug"), "Assert"), test.Accept(xlat))); gen.EnsureImport("System.Diagnostics"); }