Fixed put_problem bug.  If given wff conclusion and some wff premises followed by a malformed premise, it was displaying the wff premises in the drvt.