fixing gotos optimizer

since if we kill a condition we mess all the code