Use normal order of clauses within a single solver's rule.
Use normal order of clauses within a single solver's rule.

Open343/pkg,khorben/pkg,skoef/pkg,junovitch/pkg,khorben/pkg,khorben/pkg,skoef/pkg,junovitch/pkg,Open343/pkg,en90/pkg,en90/pkg