added testRedundantQuantification back into QfWffCheckerTest