Method try_project_core

crates/kernel/src/def_eq.rs:1494–1501

(
    &mut self,
    struct_id: &KId<M>,
    field: u64,
    e: &KExpr<M>,
  )

          return Ok(false);
        }
        let mut v1 = v1.clone();
        let mut v2 = v2.clone();
        self.lazy_delta_proj_reduction(id1, *f1, &mut v1, &mut v2)
      },
      _ => Ok(false),
    }
  }

  fn lazy_delta_proj_reduction(
    &mut self,
    struct_id: &KId<M>,