Added postcondition checking to verify that the full and partial test vectors obtained from a merged partial test vector representations object comply with the object's filter.