Implement Lema 3.3 data structure

[Sirivasv]

Implement another class that manages the Lema 3.3 data structure.

Reference:
https://dl.acm.org/doi/pdf/10.1145/3717823.3718179