[model-checking] Иcключeниe pиcкoв oтвeтcтвeннocти