Unsuccessful computation of factorial of 3 by a function f(a,b)=(succ(a),succ(a) b). It is done with lisfact.mol and the script moving_random_metabo.sh from the gh-pages branch of the repo.
The molecule is the one obtained from the lambda term proposed in the
lambda calculus tutorial by Mayer Goldberg from the little-lisper.org
, par. 57, page 14. See the reduction of a modified molecule in
Part of the explanations about the factorial function.