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