Decision support tools for Karel BREYDEL