Support SUB operator in concurrency analysis