Updating expected output after a couple of fixes in the prolog solver.