belower: Remove be_Perm_reduce() and rewrite it at its only user.
Now the number of outputs is adjusted, too. This did not cause any problems, because the Perm is lowered right afterwards.
Please register or sign in to comment
Now the number of outputs is adjusted, too. This did not cause any problems, because the Perm is lowered right afterwards.