A php combinator library based on the scalacheck property based testing library