Added negation elimination to the list of available rules.