Adapt documentation to implementation
Adapt documentation to implementation

Depending on definitions there is 0,1, or many immediate postdominators
in an endless loop. Our implementation also walks Keep edges, so there
is 1 postdominator.

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