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