prove_associativity  474 src/Associativity.cpp     auto result = prove_associativity(f, args, exprs);
prove_associativity   95 src/Associativity.h AssociativeOp prove_associativity(
prove_associativity  602 src/Func.cpp       const auto &prover_result = prove_associativity(func_name, args, values);