ssa is static single assignement
add general info + memory ops