mod QQ is
    inc ALLRULES .
    inc ALLOPS .
****    inc MODEL-CHECKER .
***(
  sort State .
  subsort Dish < State .
)


op tinyOccs : -> Occs .
eq tinyOccs =
< Egf, XOut >
< EgfR, CLm >
< [Hras - GDP], CLi > 
< Pi3k, CLc > 
< Gabs, CLc > 
< Sos1 , CLc > 
 .

op tinyDish : -> Dish .
eq tinyDish = PD(tinyOccs) .

endm

***********************************
