remove redundant assertions