Description

A visitor for checking that all nodes are properly nested.