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), when Call fails, or when Call raises an exception.