DefUseAnalyzer now computes frames before (Frame<Value>) and after (DefUseFrame) each instruction.

Each DefUseFrame should contain a set of Definitions and Use of Variables