debugging eqn_rules