/Test/new-tests/

• ../
• trigger-in-predicate.dfy
• trigger-in-predicate.dfy.expect