Correctly detect array access and binary operator side effects

[alexnask]

Closes #981 (expression never executed if it was in a return statement of a generic function when the result was not stored anywhere)

[marcusnaslund]

Cool, well done.