<div dir="ltr"><p style="margin:0px;font-size:12px;line-height:normal;font-family:helvetica">Hi Clément,</p><p style="margin:0px;font-size:12px;line-height:normal;font-family:helvetica"><br></p><p style="margin:0px;font-size:12px;line-height:normal;font-family:helvetica"><br></p><p style="margin:0px;font-size:12px;line-height:normal;font-family:helvetica"> I’m looking at following branches through unconditional jumps and through pushBoolean; branchIf’s and notice that the code in SistaCogit>>genJumpIf:to: preferentially adds a counter to the innermost conditional branch in a sequence of and:s and or:s. I think we would prefer to have the counter at the outermost send, because this is the most counted. Have you thought about this? What do you think?</p><p style="margin:0px;font-size:12px;line-height:normal;font-family:helvetica"><br></p><div class="gmail_signature"><div dir="ltr"><div><span style="font-size:small;border-collapse:separate"><div>_,,,^..^,,,_<br></div><div>best, Eliot</div></span></div></div></div>
</div>