Enabling provisional certification for tau-bounders

Enabling provisional certification for tau-bounders