Bug 17964: TT syntax for notices - Prove that CHECKIN and CHECKOUT are compatible