am 03416803: Merge "Optimizing compiler: check inputs & uses definitions in CFG."

* commit '034168039d28c84ae4cba60d306a8bc7b396d409':
  Optimizing compiler: check inputs & uses definitions in CFG.