revert explicit-this that caused non-monotonic recursion

This commit is contained in:
Erik Krogh Kristensen
2021-11-26 21:37:46 +01:00
parent 6ff8d4de5c
commit 74158f1e3a

View File

@@ -155,7 +155,7 @@ private class CommandArgArrayImmutableFirst extends CommandArgumentArray {
Expr getFirstElement() {
result = this.getAWrite(0)
or
not exists(this.getAWrite(0)) and
not exists(getAWrite(0)) and
result = firstElementOf(this.getDefiningExpr())
}