Track and verify required semantics

Space after `for`