Add support for automated creation of PTA (Prefix Tree Acceptor) automatons based on abstracted sessions