injection heq with heq
α : Type
inst✝² : BEq α
inst✝¹ : Hashable α
inst✝ : DecidableEq α
val : Bool
assign : α → Bool
aig : AIG α
b✝ : Bool
heq : Decl.const val = Decl.const b✝
⊢ b✝ = val
α : Type
inst✝² : BEq α
inst✝¹ : Hashable α
inst✝ : DecidableEq α
val : Bool
assign : α → Bool
aig : AIG α
b✝ : Bool
heq : val = b✝
⊢ b✝ = val