Added session relation in order to make sure that SO is a disjoin total order of actions in each thread.