typechecker: refined failed example

if the 'ifthenelse' is removed, the stack overflow is gone