Added rewrites to work with askif/askifnot.
Fixed issue with support set calculation during thresh-elimination.