Added set-krnovice function to snuser.
Build PTrees.
Better tree data structure.
Added map from term to pnode.