add uptime()
add declaration for ENSURE and its underlying Guarantor
modify Guarantor and ENSURE
Add ENSURE() facility & update correlative unit test