added intersection
Merge branch 'master' of https://github.com/victor-fdez/llvm-array-check-pass
aa
aaa