simp [this]
aig : AIG Nat
start : Nat
h1 : start < aig.decls.size
assign1 : Nat → Bool
state : State aig
this : (go aig start h1 state).val.cnf.sat (cnfSatAssignment aig assign1)
⊢ (go aig start h1 state).val.sat (cnfSatAssignment aig assign1)
no goals