Function predict_description 

pub fn predict_description<S: DescribedStorage, E: DescribedEnvironment>(
    expr: Spanned<Expr>,
    storage: &S,
    environment: &E,
) -> Description