SepAuto.v: support multiple replace_left operations on a single goal
SepAuto.v: support multiple replace_left operations on a single goal

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl