Fix for QuickCheck.
Fix for QuickCheck.

This fixes a bug related to QuickCheck where methods without parameters were not
being tested.  This arose because the set of generated inputs was (as expected)
empty.  However, in this case, we want a single (empty) input to force
execution.

Whiley/WhileyCompiler