Impl mode inference and checking. Maybe add `[Det]` relation which assets that it's goal argument is deterministic?
Impl mode inference and checking.
Maybe add
[Det]relation which assets that it's goal argument is deterministic?