The test https://git.scc.kit.edu/IPDSnelting/mjtest-tests/blob/master/semantic/main_wrong_type_args.invalid.mj is already syntactically invalid, and thus should not be part of the semantic test suite.

Main arg is String in the grammer.