free_of_var(+Sub, +Term)%% Succeeds of Sub is not equal (==) to any subterm of Term
(undocumented)
1. prolog::free_of_var_2::free_of_var/2(int ARG1, int ARG2)():