If the specification of a class directly or indirectly (through inheritance) defines interface contract clauses, the corresonding checks can be made at runtime.
NOTE:This section is under construction.