-- same but only for failed operations; 'op' is operation's name
-- throw an exception because of failure
-- ...