Add Ord instance for SMTExpr and Args