test program in master branch. Covers some bugs that were found in the ssa interpreter