bug fixed for Not EXPR