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