Improved heuristics.

Deeper proofs are now able to be completed; i.e.
Queue_Template.Selection_Sort_Realization.rb