restriction for circles in state-jump graph