slightly edited the convert_cfg script, renamed functions in main (apply_solver, preparing to add kleene-solver)