This PR finishes the conversion to the tree assume encoding, and tests running them against the interpreter.
The main thing it adds is conversion of if and switch statements. Besides that, it fixes some bugs and adds a couple more binary operators to the encoding.
This PR finishes the conversion to the tree assume encoding, and tests running them against the interpreter. The main thing it adds is conversion of if and switch statements. Besides that, it fixes some bugs and adds a couple more binary operators to the encoding.