added in rearrangements of clauses.
The higher priority will be on left of QTREE means do those first.
Clauses with two wildcards or two constants are on highest priority.
Clauses with 1 constant are treated with higher priority than the clauses without constants.
Clauses that do not participate in the result computation are treated with higher priority.
Merge branch 'master' of https://github.com/benchisa/CS3202.git