assertEquals("Type1 == typeVar", s);
s = v.verbalize(boolExpr11);
assertEquals("Type1 != typeVar", s);
List<IStringExpression> stringExprList = new ArrayList<IStringExpression>();
AbstractStringExpression stringExpr1 = new SimpleStringExpression("string");
AbstractStringExpression stringExpr2 = new ReferenceStringExpression(var);
stringExprList.add(stringExpr1);
stringExprList.add(stringExpr2);
AbstractStringExpression stringExpr3 = new ComposedStringExpression(stringExprList);
s = v.verbalize(stringExpr1);
assertEquals("\"string\"", s);
s = v.verbalize(stringExpr2);
assertEquals("anyVar", s);