Pulselib.PulseSpecialization
val apply : IR.Specialization.Pulse.t -> PulseAbductiveDomain.t -> PulseAbductiveDomain.t