IMO need more explanations about precise-GC and cases where behavior of precise and conservative same and differs