Use pointer in structure's methods

[MatheusFranco99]

In CommitteeRunner, we should use pointers in the structure's signatures (in case we change some structure's field)

[GalRogozinski]

Probably we want to move away from using pointers

[MatheusFranco99]

This is from a discussion with @moshe-blox when we were analysing the differ. The issue with not using pointers is that the changes do not take effect in the object.