Ensuring the Observability of Structural Test Obligations