window.SIDEBAR_ITEMS = {"trait":["IsTerminal"]};