Doing the smart canonicalization only if we are not simplifying a Rule LHS.