This package contains classes used to achieve flow sensitive mode of analysis.