Conservative source models
These include all true information and maybe some false information, too
Frequently used in compiler optimization, parallelization, in programming language type inference, etc.
- Ex: never misidentify a call that can be made or else a compiler may translate improperly
- Ex: never misidentify an expression in a statically typed programming language