fact: Definition C_interp_or rho c := afold_left _ false orb (amap (Lit.interp rho) c).
imports: Bool Int63 PArray Misc State SMT_terms Syntactic Arithmetic Operators Assumptions Cnf Euf Lia BVList Bva_checker Array_checker