let root_equal a b = 
      match a,b with 
        | Cvar x, Cvar y -> Varinfo.equal x y 
        | Lvar l, Lvar p -> Logic_var.equal l p
        | _,_ -> false