Fixed bug when induced CFG is empty