let init_test () = match Ltl_to_acsl_option.Test.get () with | 1 -> generatesCFile := false; | _ -> generatesCFile := true