Efficient dynamic local enumeration for HPF

More Info
expand_more