(benchmark simplification_bug
:logic QF_SAT
:extrapreds ((b))
:status unsat
:formula
(and false b)
)