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