Function fmt_assert 

fn fmt_assert<T: Types>(
    clause: &HornClause<'_, T>,
    f: &mut Formatter<'_>,
) -> Result