В реальном мире время, которое добавляет арбитр, компенсирует задержки в игре. Правильно, потому что время не останавливается.
У нас же таймер замирает, когда мяч не в игре. Тогда что компенсирует компенсированное время?
Либо пусть таймер не останавливается, либо пусть компенсированного времени не будет.
P.S. Иногда таймер останавливается, когда мяч в игре. Например, когда вратарь поймал мяч после штрафного, пробитого вратарем другой команды.