c = new ContainsCondition(typeExpr1, numExpr1, numExpr2, boolExpr1);
s = v.verbalize(c);
assertEquals("CONTAINS(Type1, 4, numVar, true)", s);
c = new ContainsCondition(typeExpr2, null, null, null);
s = v.verbalize(c);
assertEquals("CONTAINS(typeVar)", s);
c = new ContainsCondition(typeListExpr, typeExpr2, null, null, null);
s = v.verbalize(c);
assertEquals("CONTAINS({Type1, typeVar}, typeVar)", s);