Fix initialization checker for subscript expressions and add tests

The subscript initialization checker is definitely not satisfactory, but it is
an on going fact: many treatment (none trivial ones should be performed).

By now it is just a simple helper, and should require much improvements. Not
sure that it is the right strategy. One should maybe force initialization...

However, this is a second-order question that should be addressed in a far(?)
future.