Gen
Todo
Technical description of functions used for formulating tested properties and for running property checks.