Fixed redundant quantifier checking
Removed printlines
Merge branch 'qfwffchecker-redundantquants'