The completeness of combinatory logic with discriminators