mapJunctionPredecessorSuccessor