Turning a concurrent program sequential