Incertus: Nondeterministic Transformations