That is...not at all my experience of Opus 5.5, which has absolutely both spotted weird workarounds, then spotted the underlying bugs which were leading to the workaround, then spotted the race conditions which were masked by the workarounds.