Add tests for multiline preconditions and invariants

[lola831]

Description

Adds tests for multiline preconditions and invariants

Issue Link

N/A

Checklist

• I have tested the changes locally via pytest and/or other means
• I have added or updated relevant documentation
• I have autoformatted the code with black and isort
• I have added test cases (if applicable)

Additional Notes

N/A

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 90.55%. Comparing base (40d8d1d) to head (c48eb3d).
⚠️ Report is 27 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #408      +/-   ##
==========================================
+ Coverage   89.85%   90.55%   +0.70%     
==========================================
  Files          54       54              
  Lines       13549    14322     +773     
==========================================
+ Hits        12174    12969     +795     
+ Misses       1375     1353      -22     

see 11 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[Eric-Vin]

Going to close/re-open to attempt to trigger tests again.