fix phi for copypropagation
finished common expression elimination