constructor cr assoc conflict setup head desc add support decis uml decis name set knowledg type critic kt syntax good trigger 