Using Partial Orders and On-the-Fly Transactions -- Model Checking Multithreaded