fixed termination bug; actually a bug in nested patterns ... termination-bugs.fst now fails as expected
added a diff to the test script