smt-lib syntax change: str.contain -> str.contains; add some prefix syntax for cvc format