Changes

Summary

1. ignore isolated nodes by default;
2. merged
3. cycle check with informative error;
4. tuned: each session has at most one defining entry;
5. more operations;
6. tuned signature;
7. tuned signature;