Konev-Lisista program now exits if parameters are missing