A few correct examples that the level doesn't deem correct

[dshemetov]

• This one should pass level 17, but doesn't: (λabcd.ad)pyyp.
• This one should pass level 18, but doesn't: (λx.i)xλj.k.

FWIW, the inspector thinks they're both beta-irreducible, despite reducing them.