ATC assures separation...
Este é um equívoco bastante crítico. O ATC não fornece necessariamente a separação, apenas porque você está voando IFR. Vamos fazer uma rápida recapitulação das diferentes classes de espaço aéreo.
Na classe D, o ATC fornecerá a separação entre dois voos IFR, mas não separará os voos VFR. Todos os voos recebem informações de trânsito e devem evitar a colisão por meio de informações de trânsito e de um visual.
Na classe E, o ATC fornecerá a separação entre dois voos IFR. As informações de trânsito sobre os voos VFR serão fornecidas, se possível - mas os voos VFR podem voar na classe E sem qualquer contato por rádio, portanto, a ATC pode não conhecer todos os voos. Cabe aos pilotos evitar a colisão usando informações de tráfego e mantendo uma vigilância visual.
Na classe F, nenhuma separação é fornecida, independentemente de você estar voando em IFR ou VFR. O ATC fornecerá serviços de consultoria para outros voos IFR, e as informações de tráfego sobre VFR são possíveis.
Na classe G, nenhuma separação é fornecida. Informações de trânsito podem ser fornecidas, na medida do possível. (Em alguns países, você não tem permissão para voar IFR no espaço aéreo da classe G - mas isso varia).
Então, sim, espera-se que os pilotos mantenham um visual visual, também ao voar IFR. Obviamente, com o mau tempo, isso não se aplica realmente. Esta é também a razão pela qual quase todas as aeronaves estão equipadas com luzes anticolisão e luzes de navegação - para que outros voos possam vê-las.
Além disso, o Anexo 2 (Regras do Ar) da ICAO declara:
An aircraft operated on or in the vicinity of an aerodrome shall, whether or not within an aerodrome traffic circuit, observe other aerodrome traffic for the purpose of avoiding collision.
Observe que não há menção às regras de voo. Este procedimento se aplica a "uma aeronave" - ou seja, qualquer aeronave.