Now that annual aberration is implemented and we have very accurate lunar positions in relation to stars, it might be advisable to hide an occulted star's halo completely when the Moon or whatever obscures it. The screenshot below shows an occultation of 19 Piscium by the Moon, and the star's halo is still visible, despite the star actually being hidden behind the lunar disc.

I think this has been up for discussion earlier, but there is no formal report of it.

The same might be wished for when a planet disk is completely hidden behind the Moon or another planet.