aggiunto test (nondeterministico)