Track and verify required semantics