Consider where condition when determining leftmost order stability

Extract more eyebleed into DBIHacks in the process