Use SeeC-Clang mapped Value objects to provide child Stmt values when generating
Explanation objects for the ExplanationViewer.