ill-issue-13-flip-flip-wrong.expect.yaml

status: error
error_tag: TypeErrorUnifyTerms
message_contains:
  - "cannot unify"
regression_for:
  - "https://github.com/rzk-lang/rzk/issues/13"