Compile from selected
The compiler calculates a valid sequential order of the subtree defined by and with respect to the transitions. If the lazy mode flag is set, then a less time consuming execution is performed.