k-Framework: defined a way to express multiple cycles in the FIL