Symbol: update_voltage_constraints