let preproc_assigns labels asgns = 
  let visitor = new norm_at labels in
  Visitor.visitFramacAssigns visitor asgns