Use `RelDecision` when possible.
Passed
Robbert Krebbers
created pipeline for commit
3a8d3fa9
, finished
Related merge request !571 to merge robbert/rel_decision
2 minutes 53 seconds, queued for 5 seconds