fix bug where breaks inside conditionals were not detected by definite
assignment checking