*** level independent
load ../ALL/all-lookup.m

*** level specific
load sp1.m       ***  SSP1  CSP1
load ../L0/csptk0.m     *** CSPTK0 == CSPTK1
load sptk1.m     ***  SSPTK1

mod TEST1-LOOKUP is
  inc TEST-LOOKUP .
  inc CSP1 .
  inc SSP1 .
  inc CSPTK0 .
  inc SSPTK1 .
  

  eq sptkobs =
     < (JS . ssptk) : SSPTK1 | lookup(JL . lup), idle > 
  .

  eq cptkobs =
     < (JC . csptk) : CSPTK0 | lookup(JL . lup), clientId("sam"), idle > 
  .

  eq acptkobs = 
     < (JL . csptk) : CSPTK0 | lookup(JL . lup), clientId(fakeId), idle >
     < (JL . ssptk) : SSPTK1 | lookup(JL . lup), idle >
       msg(JL . ssptk, JL . fred, spRegisterReq("Attack", JL . AttackSvc))
  .


endm

***( 
rew  eecf aljcf sjcf cjcf .

rew  eecf aljcf sjcf .
rew  eecf aljcf sjcf cjcf1 .
rew  eecf aljcf sjcf cjcf2 .
rew  eecf aljcf0 sjcf cjcf1 .


)



