Argha - processState nodes are also to be represented as StateNodes