Provide semantic errors
Merge branch 'semantic-logging'