Nodes for the term “default case”