:white_check_mark: :bug: Fix a bug diagnosis did not start when no input given
:white_check_mark: Support option -f
Format Wok.scala