Keep TyAnnot Name = PreTcType
Remove unused line