Serialisable Semantics

Builds extensions step by step: starting from the empty set, it repeatedly adds an initial set chosen by the selection function and continues in the reduct. Every set reached that the termination function accepts is an extension.