Explicitly ignore main function in verification tests
Explicitly ignore main function in verification tests

And remove some extra whitespace

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