Can auto generate AST's for quickcheck...can't limit by size
Auto register tests