constant booleans and definite assignment checking for #678