Can't rewrite under !-box

[rossduncan]

Looks like the matcher doesn't see subgraphs inside !-boxes. See attached.

The use case I actually want has edges extending outside the !-box, but the problem occurs without this complication.

[akissinger]

This is in the works. A temporary work-around is to create a version of your rule where the whole LHS and RHS are in a !-box. Make sure to add any existing !-boxes as children or this won't work right. The solution in the works is to make the matcher do this automatically if it needs to.

Historical note: this match is technically not allowed in the original !-box matching semantics (from Merry's thesis), which is what is implemented by the matcher.