---
cases:
  - note: reachable/malformed 3
    query: data.generated.p = x
    modules:
      - |
        package generated

        p := __local0__ if {
        	__local2__ = input.graph
        	__local3__ = input.initial
        	graph.reachable(__local2__, __local3__, __local1__)
        	__local0__ = __local1__
        }
    data: {}
    input_term: '{"graph": {"a": []}, "initial": "a"}'
    want_error_code: eval_type_error
    strict_error: true
