The datasets with semicolons ";" cannot be run with either run_single.sh or run_meta.sh.

[zhangxz1123]

Hi there,
Trying to use your synthesis solver, but found that the datasets with semicolons ";" fails to run.

The error message is
assert nd, "cannot find node for " + spec.app
AssertionError: cannot find node for false

Any idea what's the issue?

Thanks.

[zhangxz1123]

It seems that boolean constants true and false and arithmetic operations + and - are causing the problem.