Removes redundant assertion