introducing annotation CATG.assertIfPossible(int pathId, boolean predicate);
This annotation can be used to guide the search.  CATG will try to take paths such that "predicate" passed as second argument of any assertIfPossible along the path evaluates to true.  assertIfPossibles whose "pathId"s are not equal to catg.pathId in catg.conf are ignored along the path.  See tests.DTEST1 and tests.ManyColumnsOrRecords for examples.