As copy_term/4,
using the attributed variable semantics of copy_term_nat/2.
This implies that attributed variables that appear in VarsIn
appear as renamed plain variables in
VarsOut and Out. Attributed variables in In
that do not appear in VarsIn are shared between
In and Out.