:white_check_mark: Add option --diag for diagnosis
Trim the size of Wok.scala