assignmentInAssert normalCheckLevelMaxBranches redundantInitialization unreadVariable