I deal with three large 8bar/120PSI compressed air systems (22kW, 30kW and 55kW). I have not seen anything like ice formation while emptying the tanks.
Also, isn't each air receiver supposed to be equipped with a manometer? Even if it's not a requirement in the UK, it's certainly a good safety practice.