Extend the statepoint intrinsic to allow statepoints to be marked as transitions...