Program Decomposition and Translation with Static Analysis | Synapse