Text this: Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference