Added Variable and fixed CFGReducer bug.