Give output to reifyOcpPhase