Tied survival times in CoxPH models (with Idris)