They get the judgement against the individual first, and then securitise that against properties owned by the guarantor. My experience has been that assigning the judgement to the properties is a pretty simple process, that seems to just happen (unless I missed a letter or two, but I don't think...