Our current inference is touching StmtCtx.isSupportedByFeatures(), which semantically requires the statement to be fully declared. Make sure the traversal logic also waits for the traversed statements to become fully declared before touching this property.