realizable spec with altered system liveness
merged spec