Function into_dyn 

pub fn into_dyn<P: JudgmentProvider>(provider: P) -> Arc<DynJudgment> 

Erases a concrete backend and wraps it in an Arc as a DynJudgment.