fixed a major bug in xNoneOf, added tests