Use predecessor `min()` and `max()` data in `IsInNode`

[fastbodin]

In its current implementation, IsInNode creates its state data structure without any knowledge about its predecessors min and max values. For integral predecessors, we could optimize this by preallocating the memory at construction. This could open up the door for different data structure (as opposed to the current std::unordered_map), e.g. a modified sparse set.