Rename the mustBeSuccess function finer