Stricter invariants around jobsteps