PRE requires that critical edges be split.