This package contains classes that are relevant for OVal's programming by contract feature.