Describir: Statická analýza konštrukcie s použitím MKP