public @interface Property
Use @Property to mark methods that serve as properties.
Those methods usually have or more parameters annotated with ForAll.
Just like methods annotated with Example example, annotated methods
must not be private. They can either return Boolean, boolean