Semantic Checker, v1 completed