The omega test can be used for several purposes, including data
dependency analysis, run time checks and compile time assertions,
determining array references and loop bounds, eliminating false
dependencies, counting solutions to the presburger formulas.