void () { SliceTreeStructure treeStructure = configureTree("DoubleNulls"); SliceRootNode root = treeStructure.getRootElement(); Map<SliceNode, JavaSliceNullnessAnalyzer.NullAnalysisResult> map = SliceNullnessAnalyzerBase.createMap(); JavaSliceNullnessAnalyzer analyzer = new JavaSliceNullnessAnalyzer(); JavaSliceNullnessAnalyzer.NullAnalysisResult leaves = analyzer.calcNullableLeaves(root, treeStructure, map); SliceRootNode newRoot = analyzer.createNewTree(leaves, root, map); checkStructure(newRoot, """ Null Values Value: null 2| |String |l;| in X 4| |l = |null|;| in X 7| |l = |null|;| in X """); }