Frama-C API - Unroll_loops
Syntactic loop unrolling. Uses code transformation hook mechanism (after-cleanup phase) of File
and exports nothing.
Name of the transformation is "loop unrolling"
val unroll_transform : File.code_transformation_category