Don't needlessly generate constrained rules
Fix soundness bug in tryRules
Rename variable
twiddle