Fix ProblemBuilder
Make BasicExprFactory's dtor virtual