overcame ordering issues by moving all Negations to final SPIN rule