private static bool IsDescendentOfNeverFlagNode(AssignmentNode assignment)
 {
     return(assignment.TryGetAncestorNode <BranchNode>(out _) ||
            assignment.TryGetAncestorNode <LoopNode>(out _));
 }