Move RICH allocation tracker to dedicated header and use in more derived conditions
Related merge request !3928 to merge rich-decode-test-multiple-runs
merge request
5 jobs
26 seconds, queued for 0 seconds