---
cases:
  - data: {}
    input_term: '{"graph": {"a": []}, "initial": "a"}'
    modules:
      - |
        package generated

        p = __local0__ {
          __local2__ = input.graph
          __local3__ = input.initial
          graph.reachable(__local2__, __local3__, __local1__)
          __local0__ = __local1__
        }
    note: reachable/malformed 3
    query: data.generated.p = x
    want_error_code: eval_type_error
    strict_error: true
