Predicate Subtypes in VerCors. - Tycho Dubbeling; Marieke Huisman; Ömer Sakar (CoRR, 2026)