This module defines an analysis for finding the critical variables in a program. These critical variables form a set of variables that, when given unit annotations, can be used to infer the unit types of all other variables in the program.