Decision support tools for Karel VAN MANDER