fn symbolic_artifact_predicate_failure_matches(
failure: Option<&SymbolicInvariantArtifactFailure>,
outcome: &CheckSequenceOutcome,
) -> boolfn symbolic_artifact_predicate_failure_matches(
failure: Option<&SymbolicInvariantArtifactFailure>,
outcome: &CheckSequenceOutcome,
) -> bool