fact: Definition checker_step_debug s step_t := let s := step_checker s step_t in (s, C.has_true (S.get s (position_of_step step_t))).
imports: Bool Int63 PArray Misc State SMT_terms Syntactic Arithmetic Operators Assumptions Cnf Euf Lia BVList Bva_checker Array_checker