Add more example about ltl manipulation