better bv args for smtcomp