Merge jt

Jan Trávníčekrequested to merge
merge-jt into master

Redesign minimisation by equivalent states, reduce includes in the cli libraryloader.

Merge request reports