More encapsulation (of finding new unit-clause, and handling r_clauses).

With new class Push_unit_clause most gotos have been eliminated.
But introduced a new goto in function dll, since this seems sensible.