Added support for XORnode (decision node) guards

Propagate to SC edges without polluting PN elements