Automatski dokazivač formula za Gödel-Löb sustav (zasad radi izrada propozicionalnih semantičkih stabala)