Fix small but egregious error: using un-zonked constraints in simplifyRule