Text this: Property-Directed Inference of Relational Invariants