Fixed if statement in control flow graph and added dummy nodes remover