This package contains classes for the assume/guarantee view.