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