Given a single literal (either variable or constant), builds the corresponding ITreeNode.
a new ITreeNode
MUST BE A SINGLE LITERAL