Assert_exists sequence tests added (quick.system_tests_basic + system/single.ml)
No changes. Just rearrangements for positions.