Bug fix: update the def-use of selected instructions also when updating the def-use chain of original/fault injection instruction