remove buggy normalization in getting similar assertions