Added isTraversable, isArrayAccess and keyIsset
Merge branch 'assertions' into merged

* assertions:
  Added isTraversable, isArrayAccess and keyIsset