CRUISE: More rework and renaming on the decompiler