How about `hasViolationForAssigningWithinIfStmt`?