Title: Binding has side effects
Goal: Eliminate variable `X'.
Parameters: [{file,"test.erl"},{position,50}].
Documentation: When the expression bound to the variable has side effects, 
  the variable must not be eliminated.
