(Xronos) Now XronosParameterPropagation visits procedures, fixing StmIO
for Branches that their Phi value has no definition