* [INODE,FIX] Do not assert `none` nodes.
* [INODE_EVALUATE,FIX] Fixes to removed alignment checking.
* [INODE,SC] Variable and redicate renaming.
* [INODE_EVALUATE,SC] Removed superfluous module imports.
* [INODE_UPDATE,SC] Removed this outdated module.
* [IOTW,SC] Removed unused module imports.
* [IOTW,EXT] Filter reflexive equivalence instances due to X-X pairs.
* [IOTW,DEB] Made debugging messages conditional upon debug flag.