%% goal: answer(X0)

answer(neq_compound_arity_mismatch) :- (f(a) \= f(a, b)).