explicitly check for recursive call-by-name