for X being ARS holds
( X is CONF iff the reduction of X is confluent )