moved TableauxFormulas into Solver directory where it belongs