new GNF extractor