Updated QffWff test cases
Merge branch 'wffchecker-future' of ssh://github.com/PeterDrake/Logic into wffchecker-future