0.00/0.37 aprove.Framework.Input.ParserErrorsSourceException: Parsing /export/starexec/sandbox/benchmark/theBenchmark.xml failed: ParseErrors: [ERROR at [2,7987]: Don't know how to handle rules with variable as lhs.] 0.51/1.19 at aprove.Framework.Input.TypeAnalyzers.ExtensionTypeAnalyzer.analyze(ExtensionTypeAnalyzer.java:55) 0.51/1.19 at aprove.Runtime.AProVE.parse(AProVE.java:154) 0.51/1.19 at aprove.Runtime.AProVE.(AProVE.java:59) 0.51/1.19 at aprove.CommandLineInterface.Main.run(Main.java:68) 0.51/1.19 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 0.51/1.19 at aprove.Main.doMain(Main.java:54) 0.51/1.19 at aprove.Main.main(Main.java:20) 0.51/1.19 ERROR 0.52/1.26 EOF