- Instances for a singleton
bf_conscompare with 0 - Instance for solving equality of two
bf_conswith the same shape (field indices) - Case study
pgtable.cis updated accordingly, removing usages of the heuristic tacticsimpl_bool_hyp
bf_cons compare with 0bf_cons with the same shape (field indices)pgtable.c is updated accordingly, removing usages of the heuristic tactic simpl_bool_hyp