(Binary Analysis) Fixed use-def bug in symbolic semantics

* Current instruction was sometimes added as a definer when it
  shouldn't have been added.