Alarms raised when fully verification detects an ICB colission

We should consider changing these standard printf warnings to logging or
even a return value.