assert (false) and definite assignment for #677