added new grammars for new problem formulation
added printing of commandline arguments to output