Track and verify required semantics

Whether it should be checked that -> Whether to check that