cases assignment <;> decide
case neg
assignment : Assignment
b : Bool
hb : b = false
⊢ ((if (!false) = true then removePosAssignment else removeNegAssignment) assignment).hasNegAssignment = true →
    assignment.hasNegAssignment = true
no goals