Tests main object with the same name as the file to prevent clashes
Tests main object with the same name as the file to prevent clashes

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