Adds conjectured intermediate LP restriction.