small steps towards improving subsume_list

1 job for ci/subsume_list_fixes in 13 minutes and 50 seconds (queued for 2 seconds)