Hopf in custom rewrite rule not stored/loaded.

[Aerylia]

I'm not sure if this is related to #304 but I tried to make my own hopf to introduce CNOTs since the CNOT introduction does not always respect the ordering of the controls vs the targets. But the double edge isn't stored in the rewrite rule.

This is the rewrite rule:

This is how the rule is loaded in the proof system:

[jvdwetering]

This probably has to do with the fact the save/load system doesn't currently properly support parallel edges. See also #308.

[RazinShaikh]

As a workaround, you can use the magic wand to cut two wires, applying the hopf rule.

Edit: Sorry, I just noticed that you are introducing two wires, not removing them. The magic wand suggestion won't be useful then.