dvn-f4: CHECK_REGISTERED option implemented