Video Instance Segmentation with a Propose-Reduce Paradigm | Synapse