fixed bug! now work with test cases
Merge branch 'master' of https://github.com/victor-fdez/llvm-array-check-pass