Text this: Program analysis with interpolants