Boolean operators don't work deep inside a requirement

[dfremont]

System Details

1. Python 3.11.1
2. Scenic latest main branch (5f134ad)
3. macOS Sonoma 14.5

Detailed Description

Issue #286 also occurs for the and and or operators inside an atomic proposition in a temporal requirement.

Thanks to Daniel Genin for the original report.

Steps To Reproduce

Code like the following is miscompiled into 3 AtomicProposition nodes instead of 1 (visible using --dump-python):

require eventually all(True and False for _ in range(2))

Issue Submission Checklist

• I am reporting an issue, not asking a question
• I checked the open and closed issues, forum, etc. and have not found any solution
• I have provided all necessary code, etc. to reproduce the issue