@Test
public void testComplexPredicates1() throws BCompoundException {

	Start parse = BParser.parse("#PREDICATE #x.(x:NAT & x < 6)");
	PredicateConjunctionSplitter splitter = new PredicateConjunctionSplitter();
	parse.apply(splitter);
	assertEquals(1, splitter.getPredicates().size());
}