Eliminating an assertion that cannot actually be guaranteed