Change order of columns for better IDE support in --no-colors mode
Change order of columns for better IDE support in --no-colors mode

epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless