public @interface Example
Use @Example to mark methods that are simple, example-based
test cases. Those methods usually don't have any ForAll parameters.
They are executed only once.
Just like methods annotated with Property example, annotated methods
must not be private. They can either return Boolean, boolean