Ghost Value Augmentation for k-Edge-Connectivity | Synapse