let preproc_annot labels p = let visitor = new norm_at labels in let p = Visitor.visitFramacPredicateNamed visitor p in p