Add test for semantic diff