SOmehow the test for suchThat had gotten removed in the forAllElement
traversal method.
Added back in.