Removing unused assertions