Mark local variable writes in value positions as being read

Mark local variable writes in value positions as being read #1261