ill-modal-recBOT-under-op-no-contradiction.expect.yaml

status: error
error_tag: TypeErrorTopeNotSatisfied