Orodje Promis in njegova uporaba pri analizi programov