- BugFix: fixed the "type is neither Top nor constant" condition causing U,R nodes...