Save working model as fast.pml and modify it to use x86-tso in fast0.pml