adapting the name of the dummy main method if a method with that name already exists