Implement the holy green solver considering array indexes

[feliam]

This is an experimental approach and it is similar to the Green query reuse idea but with an addition. It contemplates array indexed access in the slicing. Constraints accessing some index of an array are independent of constraints using a disjoint set of indexes. This gets a little more complex with symbolic indexes.

See. https://github.com/holycrap872/green-solver/blob/master/README.md