comput return set trigger constraint argouml cognit critic add trigger set trigger list trigger comput trigger ct comput trigger tree appli ct ct trigger 