- Working on generator of tests for properties.