Testing DefUseFrame.execute(…) for instruction xSTORE,  PUTSTATIC, PUTFIELD, IINC and INVOKEx