Self-consistency checks? #25
Description
Just fixed a bug in eliminate_common - one of many graph transformation subroutines that are deadly hard to debug. To discover issues with such utils we can add self-consistency checks. The simplest one is to evaluate graph before and after transformation and test if some invariants hold. The price for it is a prolonged derivative compilation and so should only be done if a debug option/global var is set.