New Local Verifications environment: Walls