assertWithSideEffect
assignmentInAssert
normalCheckLevelMaxBranches
redundantInitialization
unreadVariable