Boolean Truth Tables for Compound Statements

[gbrigandi]

Traverse currently represents compound boolean statements as single operations, hiding the evaluation of individual conditions within complex logical expressions. Developers cannot see which specific conditions cause different execution paths or understand how multi-condition logic behaves.
Truth tables should be generated for compound boolean statements to break down complex expressions and show all possible evaluation outcomes. This would help developers identify edge cases, debug unexpected execution flows, and understand how statements like (userLoggedIn && hasPermission) || isAdmin behave across all input combinations.