Time-out printing was not consistent with the others
Fixing BVA problem with identical clauses
The m_lits's first lit is the LIT passed here. So no need to pass it
Introducing bva_verbosity for easier debugging
Using more const-correctness