diff --git a/alib2data/src/automaton/FSM/CompactNFA.h b/alib2data/src/automaton/FSM/CompactNFA.h
index 93b76f523a71a23e5c4b2a63776d22bf307f0e23..085c39ce9cb9c2fe96cc9487bf344c2bfe7c0ea2 100644
--- a/alib2data/src/automaton/FSM/CompactNFA.h
+++ b/alib2data/src/automaton/FSM/CompactNFA.h
@@ -842,12 +842,12 @@ template < class SymbolType, class StateType >
 class SetConstraint< automaton::CompactNFA < SymbolType, StateType >, StateType, automaton::FinalStates > {
 public:
 	/**
-	 * Returns true if the state is still used in some transition of the automaton.
+	 * Returns false. Final state is only a mark that the automaton itself does require further.
 	 *
 	 * \param automaton the tested automaton
 	 * \param state the tested state
 	 *
-	 * \returns true if the state is used, false othervise
+	 * \returns false
 	 */
 	static bool used ( const automaton::CompactNFA < SymbolType, StateType > &, const StateType & ) {
 		return false;
diff --git a/alib2data/src/automaton/FSM/DFA.h b/alib2data/src/automaton/FSM/DFA.h
index 48fb24540c1a050fa1ecaceb4611c8a0423fe8dd..3e480e5884aed4de715b861fd54e19ed2ae16d0b 100644
--- a/alib2data/src/automaton/FSM/DFA.h
+++ b/alib2data/src/automaton/FSM/DFA.h
@@ -773,12 +773,12 @@ template<class SymbolType, class StateType >
 class SetConstraint< automaton::DFA<SymbolType, StateType>, StateType, automaton::FinalStates > {
 public:
 	/**
-	 * Returns true if the state is still used in some transition of the automaton.
+	 * Returns false. Final state is only a mark that the automaton itself does require further.
 	 *
 	 * \param automaton the tested automaton
 	 * \param state the tested state
 	 *
-	 * \returns true if the state is used, false othervise
+	 * \returns false
 	 */
 	static bool used ( const automaton::DFA<SymbolType, StateType> &, const StateType & ) {
 		return false;
diff --git a/alib2data/src/automaton/FSM/EpsilonNFA.h b/alib2data/src/automaton/FSM/EpsilonNFA.h
index e0a886997a1fdab1474deee4fe638008f82b31b2..f7366bf37ea8f22cf01776badd66eb98eed1337f 100644
--- a/alib2data/src/automaton/FSM/EpsilonNFA.h
+++ b/alib2data/src/automaton/FSM/EpsilonNFA.h
@@ -1100,12 +1100,12 @@ template<class SymbolType, class EpsilonType, class StateType >
 class SetConstraint< automaton::EpsilonNFA < SymbolType, EpsilonType, StateType >, StateType, automaton::FinalStates > {
 public:
 	/**
-	 * Returns true if the state is still used in some transition of the automaton.
+	 * Returns false. Final state is only a mark that the automaton itself does require further.
 	 *
 	 * \param automaton the tested automaton
 	 * \param state the tested state
 	 *
-	 * \returns true if the state is used, false othervise
+	 * \returns false
 	 */
 	static bool used ( const automaton::EpsilonNFA < SymbolType, EpsilonType, StateType > &, const StateType & ) {
 		return false;
diff --git a/alib2data/src/automaton/FSM/ExtendedNFA.h b/alib2data/src/automaton/FSM/ExtendedNFA.h
index 22ec221e50518ed988ac9c994c89fc6a3df0afe6..12c0145c1087d3d020343525dd69103b7bbd3a44 100644
--- a/alib2data/src/automaton/FSM/ExtendedNFA.h
+++ b/alib2data/src/automaton/FSM/ExtendedNFA.h
@@ -866,12 +866,12 @@ template<class SymbolType, class StateType >
 class SetConstraint< automaton::ExtendedNFA < SymbolType, StateType >, StateType, automaton::FinalStates > {
 public:
 	/**
-	 * Returns true if the state is still used in some transition of the automaton.
+	 * Returns false. Final state is only a mark that the automaton itself does require further.
 	 *
 	 * \param automaton the tested automaton
 	 * \param state the tested state
 	 *
-	 * \returns true if the state is used, false othervise
+	 * \returns false
 	 */
 	static bool used ( const automaton::ExtendedNFA < SymbolType, StateType > &, const StateType & ) {
 	return false;
diff --git a/alib2data/src/automaton/FSM/MultiInitialStateNFA.h b/alib2data/src/automaton/FSM/MultiInitialStateNFA.h
index 430afa95f96f8b5da2596d783109b7cf9b798fac..e275fecb5ddf480c77842b7f65e9b36e719a3774 100644
--- a/alib2data/src/automaton/FSM/MultiInitialStateNFA.h
+++ b/alib2data/src/automaton/FSM/MultiInitialStateNFA.h
@@ -856,12 +856,12 @@ template < class SymbolType, class StateType >
 class SetConstraint< automaton::MultiInitialStateNFA < SymbolType, StateType >, StateType, automaton::FinalStates > {
 public:
 	/**
-	 * Returns true if the state is still used in some transition of the automaton.
+	 * Returns false. Final state is only a mark that the automaton itself does require further.
 	 *
 	 * \param automaton the tested automaton
 	 * \param state the tested state
 	 *
-	 * \returns true if the state is used, false othervise
+	 * \returns false
 	 */
 	static bool used ( const automaton::MultiInitialStateNFA < SymbolType, StateType > &, const StateType & ) {
 		return false;
@@ -899,12 +899,12 @@ template < class SymbolType, class StateType >
 class SetConstraint< automaton::MultiInitialStateNFA < SymbolType, StateType >, StateType, automaton::InitialStates > {
 public:
 	/**
-	 * Returns true if the state is still used in some transition of the automaton.
+	 * Returns false. Initial state is only a mark that the automaton itself does require further.
 	 *
 	 * \param automaton the tested automaton
 	 * \param state the tested state
 	 *
-	 * \returns true if the state is used, false othervise
+	 * \returns false
 	 */
 	static bool used ( const automaton::MultiInitialStateNFA < SymbolType, StateType > &, const StateType & ) {
 		return false;
diff --git a/alib2data/src/automaton/FSM/NFA.h b/alib2data/src/automaton/FSM/NFA.h
index 5a7e18fe728b29a54f58d451e04ffae72ff16764..2110f717090b0e3066b761fa1377e8699c98dd42 100644
--- a/alib2data/src/automaton/FSM/NFA.h
+++ b/alib2data/src/automaton/FSM/NFA.h
@@ -818,12 +818,12 @@ template<class SymbolType, class StateType >
 class SetConstraint< automaton::NFA < SymbolType, StateType >, StateType, automaton::FinalStates > {
 public:
 	/**
-	 * Returns true if the state is still used in some transition of the automaton.
+	 * Returns false. Final state is only a mark that the automaton itself does require further.
 	 *
 	 * \param automaton the tested automaton
 	 * \param state the tested state
 	 *
-	 * \returns true if the state is used, false othervise
+	 * \returns false
 	 */
 	static bool used ( const automaton::NFA < SymbolType, StateType > &, const StateType & ) {
 		return false;
diff --git a/alib2data/src/automaton/PDA/DPDA.h b/alib2data/src/automaton/PDA/DPDA.h
index 719ae02e1628116307001f74083b2f700bf9ddb2..c17d5b77ef6f0808d649a03973c8b883b0bd1186 100644
--- a/alib2data/src/automaton/PDA/DPDA.h
+++ b/alib2data/src/automaton/PDA/DPDA.h
@@ -1091,12 +1091,12 @@ template < class InputSymbolType, class EpsilonType, class PushdownStoreSymbolTy
 class SetConstraint< automaton::DPDA < InputSymbolType, EpsilonType, PushdownStoreSymbolType, StateType >, StateType, automaton::FinalStates > {
 public:
 	/**
-	 * Returns true if the state is still used in some transition of the automaton.
+	 * Returns false. Final state is only a mark that the automaton itself does require further.
 	 *
 	 * \param automaton the tested automaton
 	 * \param state the tested state
 	 *
-	 * \returns true if the state is used, false othervise
+	 * \returns false
 	 */
 	static bool used ( const automaton::DPDA < InputSymbolType, EpsilonType, PushdownStoreSymbolType, StateType > &, const StateType & ) {
 		return false;
diff --git a/alib2data/src/automaton/PDA/InputDrivenDPDA.h b/alib2data/src/automaton/PDA/InputDrivenDPDA.h
index 7d35d56785e5aad917316b42a5e65dc39ea88418..95907cc500c988e7d7c081878f547909c6c2745f 100644
--- a/alib2data/src/automaton/PDA/InputDrivenDPDA.h
+++ b/alib2data/src/automaton/PDA/InputDrivenDPDA.h
@@ -1054,12 +1054,12 @@ template < class InputSymbolType, class PushdownStoreSymbolType, class StateType
 class SetConstraint< automaton::InputDrivenDPDA < InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::FinalStates > {
 public:
 	/**
-	 * Returns true if the state is still used in some transition of the automaton.
+	 * Returns false. Final state is only a mark that the automaton itself does require further.
 	 *
 	 * \param automaton the tested automaton
 	 * \param state the tested state
 	 *
-	 * \returns true if the state is used, false othervise
+	 * \returns false
 	 */
 	static bool used ( const automaton::InputDrivenDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > &, const StateType & ) {
 		return false;
diff --git a/alib2data/src/automaton/PDA/InputDrivenNPDA.h b/alib2data/src/automaton/PDA/InputDrivenNPDA.h
index 266fb6f54d78c5ded9824a19812703a0187b5cac..69a19fb0ede4e9b96b0812f0d002859680342ed4 100644
--- a/alib2data/src/automaton/PDA/InputDrivenNPDA.h
+++ b/alib2data/src/automaton/PDA/InputDrivenNPDA.h
@@ -1095,12 +1095,12 @@ template < class InputSymbolType, class PushdownStoreSymbolType, class StateType
 class SetConstraint< automaton::InputDrivenNPDA < InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::FinalStates > {
 public:
 	/**
-	 * Returns true if the state is still used in some transition of the automaton.
+	 * Returns false. Final state is only a mark that the automaton itself does require further.
 	 *
 	 * \param automaton the tested automaton
 	 * \param state the tested state
 	 *
-	 * \returns true if the state is used, false othervise
+	 * \returns false
 	 */
 	static bool used ( const automaton::InputDrivenNPDA < InputSymbolType, PushdownStoreSymbolType, StateType > &, const StateType & ) {
 		return false;
diff --git a/alib2data/src/automaton/PDA/NPDA.h b/alib2data/src/automaton/PDA/NPDA.h
index ac3e5e2934f598d3736800487c88c7dffd571e42..cc71c8147b1cf2c64c6a2355ac6118805bddb3c6 100644
--- a/alib2data/src/automaton/PDA/NPDA.h
+++ b/alib2data/src/automaton/PDA/NPDA.h
@@ -1066,12 +1066,12 @@ template < class InputSymbolType, class EpsilonType, class PushdownStoreSymbolTy
 class SetConstraint< automaton::NPDA < InputSymbolType, EpsilonType, PushdownStoreSymbolType, StateType >, StateType, automaton::FinalStates > {
 public:
 	/**
-	 * Returns true if the state is still used in some transition of the automaton.
+	 * Returns false. Final state is only a mark that the automaton itself does require further.
 	 *
 	 * \param automaton the tested automaton
 	 * \param state the tested state
 	 *
-	 * \returns true if the state is used, false othervise
+	 * \returns false
 	 */
 	static bool used ( const automaton::NPDA < InputSymbolType, EpsilonType, PushdownStoreSymbolType, StateType > &, const StateType & ) {
 		return false;
diff --git a/alib2data/src/automaton/PDA/NPDTA.h b/alib2data/src/automaton/PDA/NPDTA.h
index e000a28c835f39b01d1fc71caa2b17d4f91ec644..d050639fcf8e999393aa838431f4e1476858a630 100644
--- a/alib2data/src/automaton/PDA/NPDTA.h
+++ b/alib2data/src/automaton/PDA/NPDTA.h
@@ -1240,12 +1240,12 @@ template < class InputSymbolType, class OutputSymbolType, class EpsilonType, cla
 class SetConstraint< automaton::NPDTA < InputSymbolType, OutputSymbolType, EpsilonType, PushdownStoreSymbolType, StateType >, StateType, automaton::FinalStates > {
 public:
 	/**
-	 * Returns true if the state is still used in some transition of the automaton.
+	 * Returns false. Final state is only a mark that the automaton itself does require further.
 	 *
 	 * \param automaton the tested automaton
 	 * \param state the tested state
 	 *
-	 * \returns true if the state is used, false othervise
+	 * \returns false
 	 */
 	static bool used ( const automaton::NPDTA < InputSymbolType, OutputSymbolType, EpsilonType, PushdownStoreSymbolType, StateType > &, const StateType & ) {
 		return false;
diff --git a/alib2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.h b/alib2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.h
index 57e3f848ce3d177bd76b7c786d5f73ce2c38be84..48e798a6fe4580021c530fd0564e5ede0835af06 100644
--- a/alib2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.h
+++ b/alib2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.h
@@ -1513,12 +1513,12 @@ template < class InputSymbolType, class EpsilonType, class PushdownStoreSymbolTy
 class SetConstraint< automaton::RealTimeHeightDeterministicDPDA < InputSymbolType, EpsilonType, PushdownStoreSymbolType, StateType >, StateType, automaton::FinalStates > {
 public:
 	/**
-	 * Returns true if the state is still used in some transition of the automaton.
+	 * Returns false. Final state is only a mark that the automaton itself does require further.
 	 *
 	 * \param automaton the tested automaton
 	 * \param state the tested state
 	 *
-	 * \returns true if the state is used, false othervise
+	 * \returns false
 	 */
 	static bool used ( const automaton::RealTimeHeightDeterministicDPDA < InputSymbolType, EpsilonType, PushdownStoreSymbolType, StateType > &, const StateType & ) {
 		return false;
diff --git a/alib2data/src/automaton/PDA/RealTimeHeightDeterministicNPDA.h b/alib2data/src/automaton/PDA/RealTimeHeightDeterministicNPDA.h
index 6996c9505def05705cef67aaf7cb5d88fbd6921b..4d1d440123852ad7fb5a924c172b7a9b5e596af0 100644
--- a/alib2data/src/automaton/PDA/RealTimeHeightDeterministicNPDA.h
+++ b/alib2data/src/automaton/PDA/RealTimeHeightDeterministicNPDA.h
@@ -1631,12 +1631,12 @@ template < class InputSymbolType, class EpsilonType, class PushdownStoreSymbolTy
 class SetConstraint< automaton::RealTimeHeightDeterministicNPDA < InputSymbolType, EpsilonType, PushdownStoreSymbolType, StateType >, StateType, automaton::FinalStates > {
 public:
 	/**
-	 * Returns true if the state is still used in some transition of the automaton.
+	 * Returns false. Final state is only a mark that the automaton itself does require further.
 	 *
 	 * \param automaton the tested automaton
 	 * \param state the tested state
 	 *
-	 * \returns true if the state is used, false othervise
+	 * \returns false
 	 */
 	static bool used ( const automaton::RealTimeHeightDeterministicNPDA < InputSymbolType, EpsilonType, PushdownStoreSymbolType, StateType > &, const StateType & ) {
 		return false;
@@ -1676,12 +1676,12 @@ template < class InputSymbolType, class EpsilonType, class PushdownStoreSymbolTy
 class SetConstraint< automaton::RealTimeHeightDeterministicNPDA < InputSymbolType, EpsilonType, PushdownStoreSymbolType, StateType >, StateType, automaton::InitialStates > {
 public:
 	/**
-	 * Returns true if the state is still used in some transition of the automaton.
+	 * Returns false. Initial state is only a mark that the automaton itself does require further.
 	 *
 	 * \param automaton the tested automaton
 	 * \param state the tested state
 	 *
-	 * \returns true if the state is used, false othervise
+	 * \returns false
 	 */
 	static bool used ( const automaton::RealTimeHeightDeterministicNPDA < InputSymbolType, EpsilonType, PushdownStoreSymbolType, StateType > &, const StateType & ) {
 		return false;
diff --git a/alib2data/src/automaton/PDA/SinglePopDPDA.h b/alib2data/src/automaton/PDA/SinglePopDPDA.h
index b37a6ac702c49aa9f0d058e762a8dd2d8eca2bf8..69afb985d8390dd25ffcaab012c3966a1d7eb623 100644
--- a/alib2data/src/automaton/PDA/SinglePopDPDA.h
+++ b/alib2data/src/automaton/PDA/SinglePopDPDA.h
@@ -1015,12 +1015,12 @@ template < class InputSymbolType, class EpsilonType, class PushdownStoreSymbolTy
 class SetConstraint< automaton::SinglePopDPDA < InputSymbolType, EpsilonType, PushdownStoreSymbolType, StateType >, StateType, automaton::FinalStates > {
 public:
 	/**
-	 * Returns true if the state is still used in some transition of the automaton.
+	 * Returns false. Final state is only a mark that the automaton itself does require further.
 	 *
 	 * \param automaton the tested automaton
 	 * \param state the tested state
 	 *
-	 * \returns true if the state is used, false othervise
+	 * \returns false
 	 */
 	static bool used ( const automaton::SinglePopDPDA < InputSymbolType, EpsilonType, PushdownStoreSymbolType, StateType > &, const StateType & ) {
 		return false;
diff --git a/alib2data/src/automaton/PDA/SinglePopNPDA.h b/alib2data/src/automaton/PDA/SinglePopNPDA.h
index bc5a1496953c1433f643f3e1acfb4bb35dcb29e0..74563f45ea406c0ae9df2fc07787d417a69854e6 100644
--- a/alib2data/src/automaton/PDA/SinglePopNPDA.h
+++ b/alib2data/src/automaton/PDA/SinglePopNPDA.h
@@ -1070,12 +1070,12 @@ template < class InputSymbolType, class EpsilonType, class PushdownStoreSymbolTy
 class SetConstraint< automaton::SinglePopNPDA < InputSymbolType, EpsilonType, PushdownStoreSymbolType, StateType >, StateType, automaton::FinalStates > {
 public:
 	/**
-	 * Returns true if the state is still used in some transition of the automaton.
+	 * Returns false. Final state is only a mark that the automaton itself does require further.
 	 *
 	 * \param automaton the tested automaton
 	 * \param state the tested state
 	 *
-	 * \returns true if the state is used, false othervise
+	 * \returns false
 	 */
 	static bool used ( const automaton::SinglePopNPDA < InputSymbolType, EpsilonType, PushdownStoreSymbolType, StateType > &, const StateType & ) {
 		return false;
diff --git a/alib2data/src/automaton/PDA/VisiblyPushdownDPDA.h b/alib2data/src/automaton/PDA/VisiblyPushdownDPDA.h
index 793440171b6e8553b2df634c5583115c3d14252a..16c2a1859e20ea162cf8a3a73577f42cd071cdec 100644
--- a/alib2data/src/automaton/PDA/VisiblyPushdownDPDA.h
+++ b/alib2data/src/automaton/PDA/VisiblyPushdownDPDA.h
@@ -1439,12 +1439,12 @@ template < class InputSymbolType, class PushdownStoreSymbolType, class StateType
 class SetConstraint< automaton::VisiblyPushdownDPDA < InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::FinalStates > {
 public:
 	/**
-	 * Returns true if the state is still used in some transition of the automaton.
+	 * Returns false. Final state is only a mark that the automaton itself does require further.
 	 *
 	 * \param automaton the tested automaton
 	 * \param state the tested state
 	 *
-	 * \returns true if the state is used, false othervise
+	 * \returns false
 	 */
 	static bool used ( const automaton::VisiblyPushdownDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > &, const StateType & ) {
 		return false;
diff --git a/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.h b/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.h
index 58aefaffbc5736f30accdc1e17caae4e57e51f9f..9532fe5badc90a49f6009e2b588ac9d61e4aee24 100644
--- a/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.h
+++ b/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.h
@@ -1498,12 +1498,12 @@ template < class InputSymbolType, class PushdownStoreSymbolType, class StateType
 class SetConstraint< automaton::VisiblyPushdownNPDA < InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::FinalStates > {
 public:
 	/**
-	 * Returns true if the state is still used in some transition of the automaton.
+	 * Returns false. Final state is only a mark that the automaton itself does require further.
 	 *
 	 * \param automaton the tested automaton
 	 * \param state the tested state
 	 *
-	 * \returns true if the state is used, false othervise
+	 * \returns false
 	 */
 	static bool used ( const automaton::VisiblyPushdownNPDA < InputSymbolType, PushdownStoreSymbolType, StateType > &, const StateType & ) {
 		return false;
@@ -1542,12 +1542,12 @@ template < class InputSymbolType, class PushdownStoreSymbolType, class StateType
 class SetConstraint< automaton::VisiblyPushdownNPDA < InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::InitialStates > {
 public:
 	/**
-	 * Returns true if the state is still used in some transition of the automaton.
+	 * Returns false. Initial state is only a mark that the automaton itself does require further.
 	 *
 	 * \param automaton the tested automaton
 	 * \param state the tested state
 	 *
-	 * \returns true if the state is used, false othervise
+	 * \returns false
 	 */
 	static bool used ( const automaton::VisiblyPushdownNPDA < InputSymbolType, PushdownStoreSymbolType, StateType > &, const StateType & ) {
 		return false;