Code sorting can now be used with Reduce (via sese.r) so that existing CRs
work with sorted code (using -make-sort or -sort), or without by using
-no-reduce; this option implies -make-sort. check-in: da0049619e user: geraint@users.sourceforge.net tags: origin/master, trunk