add liveness property ltl in a comment