1. A computer-implemented method for generating a representation of relationships between variables in a program comprising the steps of: automatically generating a set of Symbolic Range Constraints (SRCs) for the variables, wherein said SRCs are of the form φ:Λ i=1 n l i ≦x i ≦u i where for each i ε[l,n], the linear expressions l i , u i are made up of variables in the set {x i+1 ,. .. , x n }, and wherein said SRCs comprise linear, convex, and triangulated constraints for a given variable order; and providing said generated set of SRCs to a user.