Request are now SAT assumptions.
Print problematic assumptions if sat problem was not solved.
Some cleanup.
Do not guess assumptions.