[Ada] Spurious visibility error on formal package with Abstract_State