simplify rule bodies