Added an attribute to distinguish between OnlyCFG and OnlySubtree subtrees