ill-recbot-term-not-function.expect.yaml

status: error
error_tag: TypeErrorNotFunction
regression_for:
  - recBOT-term-must-be-well-typed