updated the part where Modifies(_, 'x'), Modifies(_, _) (and uses) so it will stop and return a pair of results when it's found.