Refactor QCF slightly.  Bug fix for relevant domain (non-ground terms were added).  Bug fix for QCF (was missing instantiations due to not using getRepresentative).
Substr fix: (= (str.substr "" 0 3) "xxx") should be SAT in the defintion of SMT-Lib