Implemented updated Property Verification functionality