Towards supporting on-demand virtual remodularization using program graphs | Synapse