Static Analysis of Multi-Staged Programs via Unstaging Analysis Translation