Use lower case name for AIMOS files.

src/verification.ml

@@ -145,7 +145,7 @@ let answer_aimos limit config env config_prover dataset task =
     in
     Dataset.interpret_predicate env ~on_model ~on_dataset task
   in
-  let answer = AIMOS.call_prover limit config config_prover predicate in
+  let answer = Aimos.call_prover limit config config_prover predicate in
   let additional_info = Generic None in
   (answer, additional_info)