Commits in ties448/ajk-c2017:F_liveness