Finish code generation for Phi and control flow
Add isomorphism matcher for assembler code