Added support for emitting CE instruction to non-destructivey check edge exists. Currently using newEdgeTrav() in runtime.