mod VEGFDISH is inc ALLOPS .

op VegfDish : -> Dish .
eq VegfDish = PD(    

{XOut | Vegfa
}{VegfR2C | VegfR2

}{CLm |
empty

}{CLi |
[Rac1 - GDP]
Src

}{CLc |
Ampk
Erks
Fak1
Fak2
[Gsk3s - act]
Mek1
Mek2
Nos3
Plcg1


}{NUc |
empty

}) .

endm

