Make ReadEliminationPhase support phis (eliminates read when the last access is a memeory phi of writes, recursively) Add a TopStamp (identity element for meet) and use it to create kind-less phis that later get a non-top phi by infering thir stamp thanks to inputs ignore binary graph files