added some happenbefore happenbetween things to WorldState