let fp_range env = function
    | Block -> Block
    | Index x -> Index (fp_offset env x)
    | Range(x,n) -> Range (fp_offset env x,fp_size env n)