Removing redundant assertion