let normalize x = if Glob.eval not_normal_form_re x then let root, paths = split x in join root (normalize_list paths) else x