happy-tope-rec-and-restrict.expect.yaml

status: ok
regression_for:
  - contextEquiv-recOR-disjunctive-shape
  - contextEntails-recBOT-under-contradiction
  - contextEntailedBy-TypeRestricted-TOP