A practical algorithm for exact array dependence analysis | Synapse