<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>