ignore canal.spec
shufflevector instruction lifted to domains
ArrayExactSize mHasExactSize

Fixes #153, #152.