Add isomorphism matcher for assembler code
Code generation for control flow and Phis