This package contains classes for the UI of nondeterminism-analyzes.