List<IBooleanExpression> boolExprList = new ArrayList<IBooleanExpression>();
boolExprList.add(boolExpr1);
boolExprList.add(boolExpr3);
BooleanListExpression ble1 = new SimpleBooleanListExpression(boolExprList);
BooleanListExpression ble2 = new ReferenceBooleanListExpression(var);
s = v.verbalize(ble1);
assertEquals("{true, anyVar}", s);
s = v.verbalize(ble2);
assertEquals("anyVar", s);
List<INumberExpression> numExprList = new ArrayList<INumberExpression>();