quantomatic
quantomatic copied to clipboard
Self-loop matching with bangboxes is bugged
The following rewrite rule removes multiple self-loops at the same time:

when it matches it introduces new boundary nodes:

Succesfully reproduced. Found 32 matches of the rule, none of which leave you with a self-loop. I believe the attached file does what you are looking for.