In the paper, you explain the GraphQL filtering method as a two step process: local pruning and global refinement. For local pruning, the paper describes the method of using the "profile", i.e. the lexicographical ordering of the neighbor labels. In the implementation, you opt for the NLF filter instead (which degrades to a LDF filter if the OPTIMIZED_LABELED_GRAPH is disabled). Is there any particular reason for that decision? If it's mentioned in the paper, I might have missed it. Thanks!