RVM

more precised modeling of def/use operands by DefUse chains in opt compiler