Expanding Memcheck's relaitonal representation.
Work in progress.