Change [job_task j = tsk] to [job_of_task tsk j]

There are quite a few places where hypotheses about the task of a job are simply stated as equality (even though a proper predicate exists). This MR replaces the equalities with the predicate

requested review from @mmaida

assigned to @bbb

Thanks for the cleanup!

Marco, any comments?

Everything good to me overall.

Can we get this done and out of the way?

added 8 commits

• d3e7c854...c2e40ace - 7 commits from branch RT-PROOFS:master
• 95a74a59 - change [job_task j = tsk] to [job_of_task tsk j]

Compare with previous version

added 1 commit

• 1a3bbe43 - fixup proofs in FIFO RTA

Compare with previous version

resolved all threads

added 1 commit

• 63588f82 - address Marco's comments

Compare with previous version

resolved all threads

resolved all threads

enabled an automatic merge when the pipeline for 63588f82 succeeds

merged