Buenas, tengo las siguientes dudas:
1) Puede ser que quede un grafo con 7 nodos?
2) Cuando tengo que resolver la potencia, puedo asumir que hay una instrucción al estilo python: a ** b, lo que significa 
, o debo hacer un for (o similar)?
3) El código me quedó con 2 bloques de cobegin-coend y 2 instrucciones "sueltas" al final.
Creo que generé alguna dependencia que antes no tenía en el grafo, esto se resuelve con semáforos?