Ast.AttributedTerm (attr, subst_singleton pos env t)
| t -> CicNotationUtil.group (subst pos env t)
and subst pos env = function
Ast.AttributedTerm (attr, subst_singleton pos env t)
| t -> CicNotationUtil.group (subst pos env t)
and subst pos env = function