Fixed issue with double builtins in tests