A Hierarchical Syntactic Shape Analyzer | Synapse