Predicate Constants::comparesIdenticalValues

Holds if comparison test ct compares two structurally identical expressions.

predicate comparesIdenticalValues(ComparisonTest ct)