Use a zipper for SemanticState scope tree