Fix FindDesiredSequent
Last 'fix' failed several tests. This one doesn't. 
Previous changes undone.
Fix Contraction