Closed Issue: stackoverflow on recursive definitions with substrate queries on simple logic engine [7]

Example:
```
knows forall O: Object, O1: Object, G: Group
notowned(O) && {|x| "//objects//$O/.." | O1 |} && permitg(G, O1) -> permitg(G, O)
```
Comments: fixed in 9c6f95cd427f