Add ENSURE() facility & update correlative unit test