The paper Predicate Subtypes in VerCors written by Tycho Dubbeling, Marieke Huisman and Ömer Şakar has been accepted at PLACES 2026.