https://codechecker.ewi.tudelft.nl/assignment/6036c5f022e22fda3d4dd172/submission/60496cdb22e22fe619130e81 https://codechecker.ewi.tudelft.nl/assignment/6036c5e522e22fda3d4dd171/submission/60497a4d22e22fe619130e89