理解 Roslyn 中的红绿树（Red-Green Trees）