Function array_len_term 

fn array_len_term<'tcx>(
    checker: &SmtChecker<'tcx>,
    ty: Ty<'tcx>,
) -> Option<SmtTerm>