Add Show instance to SMTExpr