[ANALYZER-2197] Adds negative assertions.