Text this: A Relational Approach to Interprocedural Shape Analysis.