console tests are green
RunResult: tiny improvement in toString
static analysis