Fix warnings in BNFC.ToCNFCore