-Calling it with n > 2 arguments is strictly equivalent to calling it
-n-1 times on the pairs of successive arguments.
+Accepting more than two arguments allows in particular to add
+anonymous modules, which are not associated to variables. In
+principle the only non-anonymous ones are those that have more than
+one successor / predecessor and the inputs / outputs.