DefaultStrategy.cpp_: fix memory leaks (issue #12)
TestExpr: add