with keyword does not behave like a stack when applied to input which leads to surprising results

[vrnmthr]

package test

default a = false
a {
    input.a == input.b
}

default b = false
b {
    a with input.a as 5
}

Results in the incorrect evaluation:

> data.test.b with input.a as 5 with input.b as 5
false