David Morejon

Results 2 issues of David Morejon

This handles expressions of the form `%5 = %3`.

Some progress towards control flow inversion. There are some dynamic issues as well as the choosebranch function's handling of return branches.