Fixed bug with detecting monitored CFG edges