avoid redundant generalization and instantiateAnnot at depth