(Classifier) Fix repetitive warnings when path of the SMT solver is not
set.