An efficient way to find the side effects of procedure calls and the aliases of variables | Synapse