C++ Exception Safety Guarantee Auditor | FindPrompts