Fixed generation of CFGs