Mike's lazy egraph changes