functor (Abstract : Abstractions.Eva) -> sig val compute : max_unroll:int -> Abstract.Dom.t -> Cil_types.stmt -> int option end