refactoring result file: do return () -> return ()