PAR SKIP or PAR SKIP SKIP ?

[Oyvind Teig <Oyvind.Teig@xxxxxxxxxxxx>]

PROC RESCHEDULE()
  PAR
    SKIP
    -- SKIP -- My add
:

Taken from Intrinsics.occ. 
Why don't I need to have the second SKIP? 
This seems to be the same:

PAR
  PAR
    SKIP
 
SEQ SKIP makes sense to me. But PAR SKIP doesn't, mentally.

With the LTSA analyser I get the same thing, so I give in:

SKIP = (run -> SKIP).
||PAR2 = (SKIP || SKIP).
  
  Compiled: SKIP
  Composition:
  PAR2 = SKIP || SKIP
  State Space:
   1 * 1 = 1
  Composing
  States Composed: 1 Transitions: 1 in 0ms

SKIP = (run -> SKIP).
||PAR1 = (SKIP).

  Compiled: SKIP
  Composition:
  PAR1 = SKIP
  State Space:
   1 = 1
  Composing
  States Composed: 1 Transitions: 1 in 0ms

-- 
Oyvind
(------------------------------------------------------------------(
)       Oyvind Teig )          oyvind.teig@xxxxxxxxxxxx ) Tel: +47 )
( Navia Maritime AS (          oyvind.teig@xxxxxxxxxxxx ( 73581268 (
)    div. Autronica )                                   ) Fax: +47 )
(    7005 Trondheim (           http://www.autronica.no ( 73919320 (
)            Norway )                                   )          )
(------------------------------------------------------------------(
)                    http://www.autronica.no/pub/tech/rd/index.htm )
(------------------------------------------------------------------(