Implemented crules. (Simplifications are disabled)