Exit gracefully in case of no start symbols
change name of tunnel dilemma and provide better arguments