chickadee » dbc » contract-condition-handler

function (result)
requires (condition? exn)
ensures  result of handled exeption