Add verbosity to CheckErlang