let fun_load m p ap =
    let xv = F.var(get_funvar m p.p_arity p.p_root ap) in
      match p.p_off, p.p_type with
        | [],Some ty -> value_of_logic ty xv
        | off,Some ty  -> 
            let vload = Lookup.access xv off in 
            value_of_logic ty  vload
        | _ , None -> Wp_parameters.fatal 
                 "[fun_load] offset none null for pure logic type"