Package kieker.common.record.controlflow