Program Analysis With Interpolants