Panic in evaluator when with modifier applied to data document

[tsandall]

Actual Behavior

If the with modifier is applied to the data document (and not the input document) and a rule that refers to the input document is encountered during evaluation, the evaluator panics during resolve operations on the rule that refers to input. This is occurring because the evaluator's input term is being set incorrectly when the with modifier is handled.

Steps to Reproduce the Problem

1. Define a rule that depends on input

package test

p { input.x = 1 }

2. Execute a query that applies with to data and requires evaluation of the rule

data.test.p = true with data.foo as "bar"