GEQO test revised
array read + read equivalence deduction rule implemented