- BugFix: fixed monotony checker, now enabled - removed Cond hack: it does not help. Instead cond nodes   are automatically handled AFTER all data nodes by   placing them on an extra list - BugFix: apply_cf() now remove bad cf even if the   resulting block has only one predecessor and   cannot be combined with its predecessor - BugFix: data nodes computing Top must be replaced   by Unknown, not Bad
- BugFix: fixed monotony checker, now enabled
- removed Cond hack: it does not help. Instead cond nodes
  are automatically handled AFTER all data nodes by
  placing them on an extra list
- BugFix: apply_cf() now remove bad cf even if the
  resulting block has only one predecessor and
  cannot be combined with its predecessor
- BugFix: data nodes computing Top must be replaced
  by Unknown, not Bad

[r23111]

libfirm/libfirm,jonashaag/libfirm,MatzeB/libfirm,MatzeB/libfirm,libfirm/libfirm,8l/libfirm,davidgiven/libfirm,8l/libfirm,davidgiven/libfirm,8l/libfirm,jonashaag/libfirm,davidgiven/libfirm,killbug2004/libfirm,davidgiven/libfirm,libfirm/libfirm,killbug2004/libfirm,killbug2004/libfirm,jonashaag/libfirm,davidgiven/libfirm,killbug2004/libfirm,libfirm/libfirm,MatzeB/libfirm,8l/libfirm,MatzeB/libfirm,killbug2004/libfirm,8l/libfirm,8l/libfirm,killbug2004/libfirm,jonashaag/libfirm,killbug2004/libfirm,davidgiven/libfirm,MatzeB/libfirm,8l/libfirm,MatzeB/libfirm,jonashaag/libfirm,jonashaag/libfirm,jonashaag/libfirm,davidgiven/libfirm,libfirm/libfirm,MatzeB/libfirm