FOR structure should be included in the intermediate representation to allow run-time unrolling depending on loop control