dReach fails to run on the water-triple-network.drh benchmark.

[rajgurung777]

Tried to execute it using the command:
./dReach -l 0 -u 1 water-triple-network.drh --verbose --precision 0.01 --visualize

Gives the following error:
dReal Options: --verbose --precision 0.01 --visualize
>> syntax error at line 7
For k = 0, there is no feasible path to check.
>> syntax error at line 7
For k = 1, there is no feasible path to check.