Fix Trac #3346: tcSimplify for LHS of RULES with type equalities