OOops, terrible vivification bug preventing some optimisations

Found by Martin Maurer, thanks!

Fixes #103