Use the same comparator in decompiler as in serialization