sig val get_unroll_terms : Cil_types.stmt -> Cil_types.term list end