Minor fixes here and there.
"Admitted" that the original semantics implies the labelled one.
Revert ""Admitted" that the original semantics implies the labelled one."

This reverts commit 79b28a7812a6df4d60737e90436e859e96349539.
Proven that the labelled semantics implies the original one!