fact: Definition get_and l := let l := remove_not l in if Lit.is_pos l then match get_form (Lit.blit l) with | Fand args => Some args | _ => None end else None.
imports: List PArray Bool Int63 ZMicromega ZArith Misc State SMT_terms BVList