Refactoring tests for DefUseFrame.execute(…) instructions INVOKEx