Track and verify required semantics

No `.` with braces notation.