The first definite assignment cleanup