Predicate constraints for design by contract.