schema: do squashing based on the syntax subsumption tree