Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine