{
  "policy": "tier1-equivalence/policies/test_operators.aster",
  "entry": "checkRange",
  "cases": [
    {
      "name": "doubled is x",
      "input": [
        21
      ],
      "expectedOutput": 21
    }
  ]
}