0.03/0.51	java.lang.RuntimeException: getLanguage called before language was determined
0.03/0.51		at aprove.InputModules.Programs.idp.Translator.getLanguage(Translator.java:56)
0.03/0.51		at aprove.Framework.Input.TypeAnalyzers.ExtensionTypeAnalyzer.analyze(ExtensionTypeAnalyzer.java:59)
0.03/0.51		at aprove.Runtime.AProVE.parse(AProVE.java:154)
0.03/0.51		at aprove.Runtime.AProVE.<init>(AProVE.java:59)
0.03/0.51		at aprove.CommandLineInterface.Main.run(Main.java:68)
0.03/0.51		at aprove.CommandLineInterface.Main.doMain(Main.java:42)
0.03/0.51		at aprove.Main.doMain(Main.java:54)
0.03/0.51		at aprove.Main.main(Main.java:20)
0.03/0.51	ERROR
0.77/0.55	EOF