I tried to find their relationship, but no results. ForStatement is for ast, while InfiniteForNode is for cfg.Thank you