Remove task_interference_received_before_dec

Another small cleanup encountered while trying to understand the differences between FIFO and EDF.

approved this merge request

added 3 commits

• ddf6bc37...26e0182d - 2 commits from branch RT-PROOFS:master
• 90387afb - Remove task_interference_received_before_dec

Compare with previous version

Much appreciated, thank you!

enabled an automatic merge when the pipeline for 90387afb succeeds

merged