New Local Verifications environment: Utility