Infrastructure for [SimpleSubsumeVal].

Merged Rodolphe Lepigre requested to merge ci/subsume_val into master

Merge request reports