Added Implementations For Term Cancelling Sub Procedures
Added Implementations For Term Cancelling Sub Procedures

jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie