Implement functions to create random formulas, necessary for QuickCheck.