:- module(auto_variable_name, [f/6]).

f(X, X, _, _, _Y, _Z, V1/V1).

p(g( _), _Y).