Expanding and rationalizing Memcheck's relational representation.
Trivial enhancement in interface code.