Fixed a reference counting bug (unshare before share). The abstract
interpreter seems stable for Fib.