@Test
public void testComplexPredicates2b() throws BCompoundException {

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