Merge branch 'release' of github.com:dimitriv/Blink into performance
Fixed a bug in subarray elimination optimization.
Merge branch 'performance' of github.com:dimitriv/Blink into performance
Merge branch 'release' of github.com:dimitriv/Blink into performance