Commit lab assignment 2 - quantified pred. formula solver.
Minor cleanup.