Hello,
You split the carriageway away from the junction but now there is an available u-turn path at the junction node, so the restriction is ineffective. Surely the carriageway split can begin at the first junction node instead of slightly away from it? Removes the need for two restriction relations