moved dependency to rodin into the rodin fragment. (PROBCORE-394)