Linear invariant counterexample, and more cinv rules
This fixes #132 (closed). I also added another cinv rule so that @robbertkrebbers can sleep soundly. ;)
This fixes #132 (closed). I also added another cinv rule so that @robbertkrebbers can sleep soundly. ;)