working on rules tests that make use of disjunctions
working on generation with constraints