Testing DefUseFrame.execute(…) for instruction that pop two values and pushes nothing back