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