{
  "policy": "tier1-equivalence/policies/if_param.aster",
  "entry": "choose",
  "cases": [
    {
      "name": "Y → Y",
      "input": [
        "Y"
      ],
      "expectedOutput": "Y"
    },
    {
      "name": "N → N",
      "input": [
        "X"
      ],
      "expectedOutput": "N"
    }
  ]
}