let check_by = function | L_ergo91 -> AltErgo.check false | L_ergo92 -> AltErgo.check true | L_why -> SMT.check | L_coq -> Coq.check