pub const BTOR_OPT_PROP_FLIP_COND_CONST_NPATHSEL: BtorOption = 60;