?- vars_as(W).