Class BadBoolAssignmentRewriter