Fixed inequalities in assertions.
Fixed bug in _split_passage - previously, if c was too close to a, then mid_point could be smaller than a.