include circuits/double_ring.cir