1. A computer-implemented method for generating a representation of relationships between variables in a program comprising the steps of: generating a set of Symbolic Range Constraints (SRCs) for the variables wherein said SRCs comprise triangulated constraints for a given variable order; and providing that generated set of SRCs to a user.