Type checker correction for "while true" loops