Module and
leo_compiler::expression::logical
Enforces a logical && operator in a resolved Leo program.
&&