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