Grafcet Divergence