First version of a more proper PropertyPath format
Repair base class of randomized testing projects