let env_body frame = { formals_in_pre = false ; frame = frame ; label = Here ; lvars = Logic_var.Map.empty ; xvars = Varinfo.Map.empty ; }