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