allExtended
inline fun <T> Node.allExtended(noinline sel: (T) -> Boolean? = null, noinline mustSatisfy: (T) -> QueryTree<Boolean>): QueryTree<Boolean>
Evaluates if the conditions specified in mustSatisfy hold for all nodes in the graph.
The optional argument sel can be used to filter nodes for which the condition has to be fulfilled. This filter should be rather simple in most cases since its evaluation is not part of the resulting reasoning chain.
This method can be used similar to the logical implication to test "sel => mustSatisfy".