fix(tools): make smt2 separate module
chore(tools): update Makefile
feat(tools/smt2_stat): add extract_nonlinear_func