hedgehog-0.5.1: Hedgehog will eat all your bugs.

Functions starting with prop_ are assumed to be properties.