Implemented Reverse Unit Propagation.