let fun_equal (a:global) (b:global) =
  match a with
      GFun (af,_) ->
        begin
          match b with
              GFun (bf,_) -> (af == bf)
            | _ -> false
        end
    | _ -> false