mod goto op to fit in control flow graph
mod if ops to work with control flow graph