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"