Make backends work without Show instance for SMTExpr