let env kf ?m_here ?m_pre ?m_post ?x_result () =
{
formals_in_pre = false ;
frame = new_frame kf ?m_here ?m_pre ?m_post ?x_result () ;
label = Here ;
lvars = Logic_var.Map.empty ;
xvars = Varinfo.Map.empty ;
laddr = Logic_var.Map.empty;
}