/Test/wishlist/granted/

• ../
• useless-casts-in-decreases-clauses.dfy
• useless-casts-in-decreases-clauses.dfy.expect