Pulselib.PulseAutofix
val get_autofix : IR.Procdesc.t -> PulseDiagnostic.t -> ATDGenerated.Jsonbug_t.autofix list