Added priority propagation. Crules are now propagated before other clauses.