package JyCSP; public class Guard { }