[Granite 002] theory count function energy