ReadSpec application: making PBT easier to read for humans