f(f(v0,v2),f(v2,f(f(v1,v1),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),v1))) = v2.
f(f(v0,v2),f(v2,f(v1,f(v1,v1)))) = v2.
% frogmen: ../../assoc/13, ../../ops/13, ../../args/13: generated 2745, user 0.00, system 0.00.
% modfilter ../../../interps/BA.2 true_in_all: checked 2745, passed 17, 0.02 seconds.
% olfilter: checked 17, passed 3, user 0.00, system 0.00.