Nested while loops with phi blocks causes an error

[AdiHarif]

The following code will cause an error ("Symbol 'undefined' does not exist in the symbol table"):

function fun1() {
  let count = 0;
  let i = 0;
  while (i < 10) {
    let j = 0;
    while (j < 10) {
      count = count + 1;
      j = j + 1;
    }
    i = i + 1;
  }
  return count;
}

[ronynudelman]

This bug was fixed few weeks ago on branch souffle-analysis. Here is the commit: https://github.com/Ortal1993/compilation-project/pull/24/commits/7b43bc7fdf3ddaeea20fae2e12a33db3ecaf033b

Please close this issue once you verify yourself.