Use Zipper for SemanticState scope tree