Zaslat SMS: Collapse analysis of externally prestressed structures