Function conv_invariants

pub(crate) fn conv_invariants(
    genv: GlobalEnv<'_, '_>,
    def_id: MaybeExternId,
    params: &[RefineParam<'_>],
    invariants: &[Expr<'_>],
    wfckresults: &WfckResults,
) -> QueryResult<Vec<Invariant>>