Function translate_inference_fact 

pub fn translate_inference_fact(
    ctx: &ParsingContext<'_>,
    t: &Tensor,
    include_unknown_symbols: bool,
) -> TractResult<InferenceFact>