Satisfiability modulo ordering consistency theory for multi-threaded program verification.