call_cleanup/2 (not in ISO)

The call call_cleanup(Call,Cleanup) is equivalent to call(Call) except that Cleanup is called when Call succeeds determinately (i.e., with no left choice point), fails, or raises an exception.