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