Added semantic.Check call to main