Random FOL formula generator prototype