Bounds computation for AddRec