Fix array dereferencing
Compare unsliced for influence equality
Add support for not checking control var invariance