Add left-compacting non-nil detector

Everybody loves decision trees
Add uniqueness decision tree functions