handleForAllk + handleIfStatement changed