Ensure that changes are applied directly when they belong to a procedure call. This allows a procedure to have
  X <- 1
  Y <- X + 1
and make sure that Y == 2
Merge remote-tracking branch 'origin/master'