testing for semantic analysis