Successful computation of factorial of 3 by a function f(a,b)=(succ(a),succ(a) b). It is done with lisfact_2.mol and the script moving_random_metabo.sh from the gh-pages branch of the repo.
It is successful in about 20% of the runs. (Recall that the reduction algorithm is random.)
Part of the explanations about the factorial function.