Fix while(true) loops and add if-not translation and assembly