pub fn explain_alternatives(
profile: ReasonerId,
input: &ReasonerInput,
request: &ExplanationRequest,
max_justifications: usize,
) -> Result<Vec<ExplanationResult>>pub fn explain_alternatives(
profile: ReasonerId,
input: &ReasonerInput,
request: &ExplanationRequest,
max_justifications: usize,
) -> Result<Vec<ExplanationResult>>