chore(tools): update Makefile
feat(tools/smt2_stat): add extract_nonlinear_func