DefUseFrame.execute(…) initial implementation