let pp_formal_simple fmt = function 
    | Fpref n -> Format.fprintf fmt "Fpref %d" n  
    | Faref n -> Format.fprintf fmt "Faref %d" n