fixing cfg normal form computataion to actually compile