@Test
public void testAddHavingVar() throws ParseException {

	solutionModifier.addHaving(Var.alloc("foo"));
	assertContainsRegex(HAVING + var("foo"), query.toString());
	solutionModifier.addHaving("?having2");
	assertContainsRegex(HAVING + var("foo") + SPACE + var("having2"), query.toString());
}