Add Multi-condition Support for Decorators

[abeltavares]

Description

We need to extend the existing pre_condition, post_condition, and invariant decorators to support multiple conditions. This will provide a more flexible and powerful way to enforce rules.

Suggested Implementation

Modify the decorators to accept multiple conditions as a list or tuple and validate all of them. If any condition fails, the decorator should raise an exception.

Acceptance Criteria

• pre_condition, post_condition, and invariant decorators can accept and handle multiple conditions.
• Exceptions are raised when any of the conditions fail.
• Unit tests are written to ensure the multi-condition support works as expected.