6 pfsg nodes
8 pfsg transitions