add CFGProduction class