fix(opensmt/smtsolvers/SimpSMTSolver.C): resource leak(file)
chore(dsolvers/icp_solver.cpp): fix indentation
fix(dsolvers/icp_solver.cpp): memory leak