Fix Issue 201

[grimmjulian]

This PR addresses issue #201 and includes the following changes:

• Adapted the functional dependency check so that every occurrence of a failing condition is marked as failing.
• Added a new test file to verify that multiple occurrences of a conflicting condition fail as expected.
• Updated documentation to reflect the new behavior.
• Fixed and updated existing tests to remain compatible with the new logic.

This ensures that the functional dependency check is now fully consistent and all conflicts are correctly propagated.