This package contains classes that provide control flow related and/or based information. This can also contains classes which perform structural analyses on the system.