test: Add verification 3 testing for statement leakage.