Invariants
For any variable, determine if it is a constant or takes on a small number of values
For any numeric variable, determine if it is in a given range
- Or is (or is not) equal to a mod b (where a and b are constants)
For multiple numeric variables, look for linear relationships, standard library function relationships, comparisons, etc.