• Import logrank_trafo from coin.