validator/constraints/InternalConsistencyConstraints.cpp

727   inv( fd.hasRequiredElements() == true );
734   inv( ia.hasRequiredElements() == true );
742   inv( r.hasRequiredElements() == true );
749   inv( r.hasRequiredElements() == true );
756   inv( r.hasRequiredElements() == true );
763   inv( c.hasRequiredElements() == true );
783   inv( kl.hasRequiredElements() == true );
824   inv( t.hasRequiredElements() == true );
831   inv( d.hasRequiredElements() == true );
838   inv( e.hasRequiredElements() == true);
845   inv( p.hasRequiredElements() == true);