Added Predicate Handlers To program-induct and location-induct
Added Predicate Handlers To program-induct and location-induct

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