Data Dependence Analyzer in the Polyhedral Model