use cfgraph in evaluator; start implementing def-use-chain