java.lang.NullPointerException: Cannot invoke "aprove.Framework.Input.Language.getDefaultMode()" because "language" is null
	at aprove.Framework.Input.ModedType.createModedInput(ModedType.java:49)
	at aprove.Framework.Input.TypeAnalyzers.ExtensionTypeAnalyzer.analyze(ExtensionTypeAnalyzer.java:59)
	at aprove.Runtime.AProVE.parse(AProVE.java:155)
	at aprove.Runtime.AProVE.<init>(AProVE.java:60)
	at aprove.CommandLineInterface.Main.run(Main.java:74)
	at aprove.CommandLineInterface.Main.doMain(Main.java:42)
	at aprove.Main.doMain(Main.java:53)
	at aprove.Main.main(Main.java:19)
ERROR