functor_arg_partial_term(ok).
copy_term_then_reunify_propagates(ok).