[language] improved version of WITH-FAILURE-HANDLING