minor fix for recognizing the tail backslash, still have smt-lib compliance issue.