assertEquals("4 <= numVar", s);
s = v.verbalize(boolExpr7);
assertEquals("4 >= numVar", s);
s = v.verbalize(boolExpr8);
assertEquals("4 < numVar", s);
s = v.verbalize(boolExpr9);
assertEquals("4 > numVar", s);
s = v.verbalize(boolExpr10);
assertEquals("Type1 == typeVar", s);
s = v.verbalize(boolExpr11);
assertEquals("Type1 != typeVar", s);