1 fixed bug in NUM_INT_TAC 2 improvement in blibReplayer
before removal of step by step proof