Added predicates to check five red-black properties