for X being ARS holds
( X is WN iff the reduction of X is weakly-normalizing )