Remove restriction that inter-graph edge must come from copy?

[ss2165]

When removing such edges in rewrites handle it at the target end (e.g. with a discard)

[ss2165]

Restriction has been removed and copy nodes no longer exist.