Adding a Fortre test.
Negative terms are now preprocessed to lie after positive terms.
Refactoring to avoid bad states in which there is no assignment to expand.