Refactoring on edge constraints.