Add blastLib.BBLAST_PROVE_TAC.