+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.
+