Decision support tools for Isabelle HERVÉ