This package provides a marker interface for contract violations