[ fix ] Tactics now compatible with the latest version of the lib
[ fix ] Proofsearch trivialised by the new version of the lib