empty string removed from CFG