test: Add verification 4, testing masking non locals is permitted.