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