let fun_load e (_m,x,poff,obj) =
    let xv = F.var(get_funvar e x) in
    let vload =
      match poff with
        | [] -> xv
        | _ -> Lookup.access xv poff
    in value_of_logic obj vload