%% goal: answer(X0)

answer(named_variable_reused) :- (pair(X, X) = pair(a, a)).