Terminate levels after termination of terms (see #60)