Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference (Logical Methods in Computer Science, 2012)