SepAuto.v: fix normalize_stars_l (properly match exists on left side)
SepAuto.v: fix normalize_stars_l (properly match exists on left side)

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