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