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