Remove the warning for duplicate pre/post edges
Remove the warning for duplicate pre/post edges

This is because I'm thinking of implementing pushes in a way that
might generate these...

msullivan/rmc-compiler,msullivan/rmc-compiler,msullivan/rmc-compiler,msullivan/rmc-compiler,msullivan/rmc-compiler,msullivan/rmc-compiler