Adds formal semantic checking.