reorder Execution::StringException& and std::exception& catch cuz StringException now inherits from std::exception