Optional
Whether the current node is reachable from the root of the CFG. Only has a value if CfgInformationArguments.checkReachable was true.
Whether the current node is a root node in the CFG, which is a node that is not contained inside of a function definition.
Whether the current node is reachable from the root of the CFG. Only has a value if CfgInformationArguments.checkReachable was true.