When applied to two terms p and t,
where p is a paired structure of variables,
the function occs_in returns true if and of the constituent variables of
p occurs free in t,
and false otherwise.
FAILURE
Fails of p is not a paired structure of variables.