implemented determinization (simple version)