/in/main.cpp: In function 'int main(int, char**)':
/in/main.cpp:88:30: error: 'solve_this' may be used uninitialized in this function [-Werror=maybe-uninitialized]
             solve_this->solve(aim_cnf);
             ~~~~~~~~~~~~~~~~~^~~~~~~~~
cc1plus: all warnings being treated as errors