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