semantic: Implement runtime asserts.