Text this: Inter-procedural Two-Variable Herbrand Equalities