EXPAND-MST-LEAVES : WFFOPEXPAND-MST-LEAVES is a wff operation.
Apply ADD-ALL-OB to all live leaves of the current matingstree
that lie below the given node (or the current node, if no node is given).
WARNING: Potential combinatorial explosion!
The calling scheme for EXPAND-MST-LEAVES is:
The result is of type OBLIGATION.
TPS documentation homepage