Add support to the `lgtunit` tool for defining tests that check if a goal is deterministic, i.e. that it succeeds once without leaving a choice-point