2011/11/3 Bas van Dijk <v.dijk.bas@gmail.com>

2011/11/3 José Pedro Magalhães <jpm@cs.uu.nl>:

> "-ddump-deriv" will print (most of) it.

But it doesn't print the most useful piece of information: the
definition of Rep.

Yes... I am aware of this.

It would be great if this could be added.

I'll do it.

Cheers,
Pedro