Align syntax elements trace with specification

Merge request reports

Loading