[BUGFIX] repaired bug with bad order of set-minus operands