let is_var = function External _ -> true | _ -> false