constructor cr guard setup head desc add support decis uml decis state machin set knowledg type critic kt complet add trigger guard 