stub refinement for cfg module