For first_order_matching, adding a bound_vars set to disallow substitution
by terms containing bounded vars.