Static Dependence Analysis in an Infrastructure for Automatic Parallelization