Structural assertions (to be refactored to DSL assertions)