<<>> <> <> <> CycleTest: CEDAR DEFINITIONS = { i: INT; }.