add (lazy-head-expands) as main body of hc-expands
checkpoint