{
  "policy": "tier1-equivalence/policies/entry_annotation.aster",
  "entry": "main",
  "cases": [
    {
      "name": "x + 1",
      "input": [
        5
      ],
      "expectedOutput": 6
    },
    {
      "name": "x + 1 (zero)",
      "input": [
        0
      ],
      "expectedOutput": 1
    }
  ]
}