Make t1 point to the same term as t2. Under the
unusual condition that t2 is a fresh term reference this
function requires a global stack cell and may thus return FALSE
and leave a resource exception in the environment.
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in