Exporting a primitive allowing to run completely the tactic monad.