1e2fbcfa44
functionality, but creates an invariant: the first element on the list is always the null scheme.
functionality, but creates an invariant: the first element on the list is always the null scheme.