Should job_cost_positive be in behavior?
While working on the tutorial, I stumbled on this property https://gitlab.mpi-sws.org/RT-PROOFS/rt-proofs/-/blob/master/analysis/definitions/job_properties.v
Is there a good reason for it to be in analysis/
rather than in behavior/job.v
? Are zero-cost jobs a thing?
If we agree to move this in behavior, I'll prepare a merge request.