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