small changes
Merge branch 'wffchecker-future' of ssh://github.com/PeterDrake/Logic into wffchecker-future
Merge branch 'wffchecker-future' of ssh://github.com/PeterDrake/Logic into wffchecker-future
fixed a missin brackt error in QfWffChecker
Removed incidental merge errors
Fixed errors
More post merge bug squashing