execution_asserts
