Verificarea dacă o procedură este executată în anumite condiții