pull constraints on outer var in eager rules; release 0.17.9