Decision support tools for Isabelle LECLERCQ