functor (T : ForwardsTransfer->
  sig val compute : Cil_types.stmt list -> unit end