subsumes_chk(? Term1, ? Term2)*
Succeed if Term1 subsumes Term2 but does not bind any variable in Term1.