observer edgeObs (procid P;) {
node edgeN (edgeid) ;
rule start to edgeN(E) with E := edge (P) ;
accepting edgeN;
}