convert util-test to semantic