Suppress warning "control reaches end of non-void function"

(Node::incLevel): Return level
(Node::decLevel): Return level
(Literal::operator bool): Insert unreachable code
(Interface::step): Insert unreachable code