Improved test coverage for semantic provider