Info message when proof fails and precomputations in tally process