typo
Fix #21
Remove non-deterministic assignment definitions (fix #10)