Modify kblkStmts in MinSSA to have two While cases #9
Description
kblkStmts should have two While cases, one for the case where While is the last statement (so the statement that follows is NOp), and one for the case where While is not the last statement