started to add cyclic constraints