Muon phase rotation and cooling: simulation work at CERN