| NotationPt.Theorem (name,_,_,_) -> name ^ ".con"
| NotationPt.LetRec (_,(_,(NotationPt.Ident (name, None),_),_,_)::_,_) -> name ^ ".con"
| NotationPt.LetRec _
| NotationPt.Theorem (name,_,_,_) -> name ^ ".con"
| NotationPt.LetRec (_,(_,(NotationPt.Ident (name, None),_),_,_)::_,_) -> name ^ ".con"
| NotationPt.LetRec _