Implement construct counting

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>