Describir: Statická analýza zastrešenia oceľovej haly