FIX: let the NOT operation work with multivalued variables and ignore leaves > 1. fixes #1