Fixes a bug in Order

Order used to raise Not_found very often because of a function who
filtered buffers before flushing them, thus changing the index of the
remaining buffers.
Fixes Order.flush (x in buffer -> x not in buffer)
Changes Order.print
Changes Order.satisfies so that only totally flushed points are checked