-updated SemanticEqual with check for TermCons
-added size to configuration panel
-select generated nodes even if they are not new