new tests
simplifier for match statement!
normalized instruction seq