Removing redundant assertions.