- changed set2facts to make it deterministic
- proved set2facts-deterministic.