let field l finfo =
match l with
| Mloc l -> Mloc (M.field l finfo)
| Path p -> Path(add_field p finfo)
| PRef p -> PRef(add_field p finfo)
| PRpar (p,n) -> PRpar(add_field p finfo,n)
| ARef p -> ARef(add_field p finfo)
| ARpar (p,n) -> ARpar(add_field p finfo,n)