disabled non-deterministic test