Reduce code duplication in semantic_comparison().