Judge::run converted into more functions