Changed handling of switch-Conds. Now collected and processed. This speeds up things and fixes some verification errors (CF-Bad) in the Spec
Changed handling of switch-Conds. Now collected and processed.
This speeds up things and fixes some verification errors (CF-Bad) in the Spec

[r8599]

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