Atomic signed integer overflows should not violate SV-COMP no-overflow property

[sim642]

According to C11, incrementing an atomic signed integer to overflow is not undefined behavior, but defined to wrap around. Therefore, it doesn't violate SV-COMP's no-overflow property.