Improve B model: content of while loop should be extracted in local operation
The content of while loop in B implementation should be extracted in local operation to hide most of the complexity.
It should be done in the general case and at least it should be addressedfor the following points from !838 (merged):
-
@lvoisin started a discussion: You should extract the body of this while loop into a local operation that would hide most of the complexity. Leaving as such is a sure way to explode the number of generated POs.
-
@lvoisin started a discussion: Again, you should hide the complexity of the code in a local operation to avoid generating too many POs.
Edited by Vincent Monfort