let fp_map env (p,rs) =
    fp_addr env p , List.map (fp_range env) rs