Semantic Comparison: Improve Test Assertions