Alternative composition does not imply non-determinism